]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2446384) | patch
# bugfix: rdf tie that proxies rdf_urls_of_uris.db now works even after
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jun 2001 07:07:02 +0000 (07:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jun 2001 07:07:02 +0000 (07:07 +0000)
commit9b03d3f69b91921f10e764d1a465880248c14e55
treea59b9d3ca176f3a6ee78b57a85d536ed91fb21a5tree | snapshot
parent24463849d4236a0a7c848c0cf657e927514d75d4commit | diff
# bugfix: rdf tie that proxies rdf_urls_of_uris.db now works even after
  invocation of /update method
helm/http_getter/configure.in diff | blob | history
helm/http_getter/http_getter.pl.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.