]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8937d20) | patch
www-sop.inria.fr
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Sep 2003 12:27:50 +0000 (12:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 17 Sep 2003 12:27:50 +0000 (12:27 +0000)
commit0cc8f54e11ed719e6c58434ba546501a7257b84e
tree80908205005ab8542c27cd8abbfb5228a14ead4ctree | snapshot
parent8937d201088466051f7f1d3f0253d66d5afbc39fcommit | diff
www-sop.inria.fr
   ^
Hyphen in the name of the server were not allowed. Fixed.
helm/http_getter/http_getter_misc.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.