]> matita.cs.unibo.it Git - helm.git/commit
removed Makefile.overrides
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:19:48 +0000 (22:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:19:48 +0000 (22:19 +0000)
commit0ce94466cf5d72a8c5afeb9f15f8a0cd4e8576b0
tree90b9aa479a4fee9acc1d633853ca59d4a76516d9
parent57ad518c58e0b9684c5ea696a359037bed18dbc9
removed Makefile.overrides
helm/DEVEL/ocaml-http/Makefile
helm/DEVEL/ocaml-http/Makefile.defs