kmx git
Register
IABSD.fr/ports
IABSD.fr
Login
IABSD.fr
/
ports
Browse
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
jasper