]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d47a2ea) | patch
fixed Makefile
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 May 2005 09:10:17 +0000 (09:10 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 May 2005 09:10:17 +0000 (09:10 +0000)
commitc29e258ee426d0216b3fcf3e561ccf8fc206440d
tree52b05cc5133f88fc5a0950ffa96c0af86f4d2be9tree | snapshot
parentd47a2eaf9d30d56cbc230d8bf8c37054ebeae54fcommit | diff
fixed Makefile
helm/ocaml/metadata/extractor/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.