]> matita.cs.unibo.it Git - helm.git/commit
- reload servers list on before /update
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 18:23:24 +0000 (18:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 7 Jan 2003 18:23:24 +0000 (18:23 +0000)
commit4e683370099ea7aaea877bc345ca8821938d49ed
tree80a70a181a157df70058a4ef39ba85b0f68e0851
parent67b126ded904b0388bb32039d3217fa37099d33f
- reload servers list on before /update
helm/http_getter/http_getter.ml