From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 12 Feb 2001 21:29:36 +0000 (+0000)
Subject: Removed rebuilding of urls_of_uris.db on update user request.
X-Git-Tag: v0_1_2~119
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=c1dfb763206c3e548b26d1e5f2128c6938a5df14;hp=c1dfb763206c3e548b26d1e5f2128c6938a5df14;p=helm.git

Removed rebuilding of urls_of_uris.db on update user request.
This feature now is handled by http_getter.
Also modified file 'http_getter.pl.in' from module 'http_getter'.
---