]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c73f6a6) | patch
fixed make dep command
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Oct 2004 10:12:44 +0000 (10:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Oct 2004 10:12:44 +0000 (10:12 +0000)
commitc3f0611d0c3ba648773a3ceec5b68e6c51dd4bac
treed731ee528059edbcda7e3c6969e6e8bf9f492e2ftree | snapshot
parentc73f6a661af7adbf91370232b555f31d413ce6accommit | diff
fixed make dep command
helm/ocaml/Makefile.common.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.