Edit

IABSD.fr/ports

Branch :

  • Show log

    Commit

  • Author : jasper
    Date : 2010-05-13 18:29:47
    Hash : fab7307b
    Message : - bump to a version that support proof logging - don't hide compilation commands

  • Properties
  • Git HTTP https://git.kmx.io/IABSD.fr/ports.git
    Git SSH git@git.kmx.io:IABSD.fr/ports.git
    Public ? true
    Name IABSD ports collection
    Description

    https://www.iabsd.fr

    Users thodg Baptiste Jeancip
    Tags