]> matita.cs.unibo.it Git - helm.git/commit
urls_of_uris.db is now empty
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 15:24:23 +0000 (15:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Dec 2000 15:24:23 +0000 (15:24 +0000)
commit32e91e82cbfe3032746fb70f6baf9c61b42ad173
treece0f8ff5c37836b0a929dce3820418044eeec9a7
parent60c74619c60416d676d2cbf2950733b1066f7d07
urls_of_uris.db is now empty
helm/configuration/configure.in
helm/configuration/library/urls_of_uris.db