]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebcf627) | patch
removed hand-made Makefile
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:07 +0000 (11:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:07 +0000 (11:08 +0000)
commit3988c8a7a832bec3b1f6b1675b96337deb64e65e
treee717d8ae0fb27d5ffbffdff17c1336410ff5c02etree | snapshot
parentebcf6271797d06c6111123702837599cde1766bbcommit | diff
removed hand-made Makefile
helm/DEVEL/gdome_xslt/ocaml/test/Makefile [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.