]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d440655) | patch
* debian/rules
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:04:55 +0000 (10:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:04:55 +0000 (10:04 +0000)
commit8c71a3b0804146d03c4dbb580f59c68dbad396cb
treead325f91a66f3d6c73521fa0e57c5f78a025d67btree | snapshot
parentd440655c2eb467de150076cc493db042b78240d1commit | diff
* debian/rules
  - add additional flags for ocamldoc using "+=" instead of "=" ...
DEVEL/gdome_xslt/debian/changelog diff | blob | history
DEVEL/gdome_xslt/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.