]> matita.cs.unibo.it Git - helm.git/commit
Added 'ls' method: return a list of uri that begin with a given uri.
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 17 Feb 2001 23:02:10 +0000 (23:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 17 Feb 2001 23:02:10 +0000 (23:02 +0000)
commit10c1185793af5ae402e7a4dbe016b72f5bb6c727
treed76527aeb5fddc1858eb7bc71f3a50fd396e0126
parentf528cf34b242df22fcb555677eb3a3c9c712fef6
Added 'ls' method: return a list of uri that begin with a given uri.
Response may be in CR-separated line or in a simple XML document.
helm/http_getter/http_getter.pl.in