]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09cb0a2) | patch
modified "update" request handling, now getter rebuild urls_of_uris.db.
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Feb 2001 21:28:23 +0000 (21:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Feb 2001 21:28:23 +0000 (21:28 +0000)
commitfe24653b699d2fdb49834653dd8480438c9dc545
treef4d49f1a003a055ea66917a3e06797464974c081tree | snapshot
parent09cb0a26981ce955c25d87fbaf49f8fe56e1b424commit | diff
modified "update" request handling, now getter rebuild urls_of_uris.db.
(feature moved from mmlinterface to http_getter)
Also modified file 'getter.ml' from module 'interface'
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.