]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c210547) | patch
removed dep on mathql
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:29:50 +0000 (09:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 4 Feb 2005 09:29:50 +0000 (09:29 +0000)
commit8c71b573edef611935725506a8db5d676e8d36b1
tree364de9be96a0b1fdaf6e686b1f9fa8e7ac8bd0b1tree | snapshot
parentc210547e6b3a69f23c1acbfe18f3e3edcf901f44commit | diff
removed dep on mathql
helm/ocaml/cic_omdoc/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.