]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35f37db) | patch
removed useless ocamlfind query of the netclient package
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:11:48 +0000 (17:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 17:11:48 +0000 (17:11 +0000)
commit7e58d5cf21a9ce31b0c3159671a96cc06b39c929
tree75b22157fd9945d29a938877aa0cab2af81ba3f1tree | snapshot
parent35f37db99fe63041c06cd98984de9a7ca0f9b388commit | diff
removed useless ocamlfind query of the netclient package
helm/http_getter/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.