]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5a06d5) | patch
added the patch on-the-fly for DTDs, fixed the script for launching the getter at...
authorLuca Padovani <luca.padovani@unito.it>
Wed, 21 Feb 2001 15:11:23 +0000 (15:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 21 Feb 2001 15:11:23 +0000 (15:11 +0000)
commitd9954b8d86dc000ee5731c1597c30eeeaa5cf231
treeaecabc5f1a7e7312b2ded677999cd6e813f1b5e0tree | snapshot
parentf5a06d5c51c59dcfe432a3b4236f0a4189f031f6commit | diff
added the patch on-the-fly for DTDs, fixed the script for launching the getter at boot time
helm/http_getter/helm-http-getter diff | blob | history
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.