X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fconfiguration%2Flibrary%2Furls_of_uris.db;h=9f01b7ae56a99f46c91c897315a822ee4ef873a6;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=c2f5eb78d6793c466de1f5330aba128770a5b606;hpb=60c74619c60416d676d2cbf2950733b1066f7d07;p=helm.git

diff --git a/helm/configuration/library/urls_of_uris.db b/helm/configuration/library/urls_of_uris.db
index c2f5eb78d..9f01b7ae5 100644
Binary files a/helm/configuration/library/urls_of_uris.db and b/helm/configuration/library/urls_of_uris.db differ