]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1058125) | patch
added http_types.mli: Makefile.overrides is now useless
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:17:54 +0000 (22:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:17:54 +0000 (22:17 +0000)
commit27f4dcab8e8f83fc580c6fec8682ac6fa515fc1f
treee95c5adcf8e1d5d8c17a821e1813f99895657d5ftree | snapshot
parent105812573a76f6bc3a6f55e91e54bf540450fc07commit | diff
added http_types.mli: Makefile.overrides is now useless
helm/DEVEL/ocaml-http/Makefile.overrides [deleted file] blob | history
helm/DEVEL/ocaml-http/http_types.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.