]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c71a3b) | patch
include also gdome2/ dir in the ocamldoc include path
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:05:32 +0000 (10:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 10:05:32 +0000 (10:05 +0000)
commit75bbab028ac4e3bfd889aab8483665476c6ccae0
tree879aad17359d5ea7b7cb0ce55422e691923eca2etree | snapshot
parent8c71a3b0804146d03c4dbb580f59c68dbad396cbcommit | diff
include also gdome2/ dir in the ocamldoc include path
DEVEL/lablgtkmathview/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.