]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb19668) | patch
bugfix in /ls: removed double trailing "/"
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 May 2004 15:37:45 +0000 (15:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 26 May 2004 15:37:45 +0000 (15:37 +0000)
commit0cecccac856404634b2712fe672a6c746ed373b9
treeedbd1c304b8f91c827f05aea225e9b81656688a8tree | snapshot
parentcb196689329c36dd651513a2859a2f9a714ea07bcommit | diff
bugfix in /ls: removed double trailing "/"
helm/ocaml/getter/http_getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.