]> matita.cs.unibo.it Git - helm.git/commit
- added support for file ls (i.e. you can use a baseuri that point to a
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Mar 2001 17:30:32 +0000 (17:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 20 Mar 2001 17:30:32 +0000 (17:30 +0000)
commitfef1d2b3026ab198c786765fc6d0d07a71c0af3e
treeec77e86289e5f50c9fa9a8e0dbac20fb4d65c7aa
parent3798732d9707017506da34b063f4ff6095722c30
- added support for file ls (i.e. you can use a baseuri that point to a
  file with ls)
- change the installcgi method in Makefile, now no error if no cgi is
  going to be installed
helm/http_getter/Makefile.in
helm/http_getter/http_getter.pl.in