]> matita.cs.unibo.it Git - helm.git/history - DEVEL/gdome_xslt/debian/rules
* debian/rules
[helm.git] / DEVEL / gdome_xslt / debian / rules
2007-09-08 Stefano Zacchiroli* debian/rules
2007-09-08 Stefano Zacchiroliadd stdlib/gdome2 to the include dir for ocamldoc
2007-09-08 Stefano Zacchiroli* convert comments in .mli interface files to ocamldoc...
2006-09-17 Stefano ZacchirolibinNMU safe setting of debian/*
2006-02-02 Stefano Zacchirolireorganization continues ...