]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e274c41) | patch
- modified /getxslt method, now stylesheets are downloaded on the fly
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Nov 2001 13:46:05 +0000 (13:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Nov 2001 13:46:05 +0000 (13:46 +0000)
commit0e27018083c7f6b690b5ce1a099cea5ae09f0216
tree7e5cf286d3d55a7ada73bccc0be7d139d3fdcea3tree | snapshot
parente274c41f35f93f700b48198ee2dc9a3eb38520c4commit | diff
- modified /getxslt method, now stylesheets are downloaded on the fly
  and may be kept on various servers
- uncommented /getdtd method
- removed /getstyleconf method
- changed semantics of dbm variables, now ".db" suffix must be present
  in environment variables that reference dbm files
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.