]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39559db) | patch
bugfix: print a better exception than "Not_found" when "baseuri"
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 15:41:30 +0000 (15:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 15:41:30 +0000 (15:41 +0000)
commitaf9dee32ed84a302d3ac0ba3005f9ecc0da7f46e
tree6608b2d7e2f683e1f50168f04f892564a07a5ed3tree | snapshot
parent39559db1a359271e8794fe8e08c21afe73a581d9commit | diff
bugfix: print a better exception than "Not_found" when "baseuri"
parameter for "ls" method is empty or simply unparsable
helm/http_getter/http_getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.