]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 652fae7) | patch
fixed cictheory:/ bug (thanks Lionel for the patch)
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Sep 2004 10:09:36 +0000 (10:09 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 17 Sep 2004 10:09:36 +0000 (10:09 +0000)
commitd243960f72bdfc195b1e463b96b98c5097862df7
tree434e6056a241e9b9d6054ea6b8e267a8c919ca3btree | snapshot
parent652fae70919845d39be446a18175715c8ce83831commit | diff
fixed cictheory:/ bug (thanks Lionel for the patch)
helm/ocaml/getter/http_getter_common.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.