]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1d232b) | patch
Various changes:
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 16:34:24 +0000 (16:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Mar 2001 16:34:24 +0000 (16:34 +0000)
commitabf66be35540a8bb8e96aa5ff24108dc569f4f3f
tree7b5fe23b1384ab9c5fd7ed749b47b2252dcd3beatree | snapshot
parente1d232bab1b061d9098fd666ca24bed84b38f99ecommit | diff
Various changes:
- added "patch_dtd" parameter to /getciconly method
- removed "remove_header" feature to the download subroutine
- patched response in gz file answering (now use x-gzip encoding header)
- remove /conf method
- removed hard coded "localhost" url
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.