]> matita.cs.unibo.it Git - helm.git/commit
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
treeedbd1c304b8f91c827f05aea225e9b81656688a8
parentcb196689329c36dd651513a2859a2f9a714ea07b
bugfix in /ls: removed double trailing "/"
helm/ocaml/getter/http_getter.ml