]> matita.cs.unibo.it Git - helm.git/commit
use respawner
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:39:14 +0000 (16:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:39:14 +0000 (16:39 +0000)
commit86c7cb1e030964d7d3ca09ac52f7f572b02f1af4
treea880dbda4199acab9c5b80556ddb7b5f0ae33a13
parent584abc3d3cccd07c0022d7454350c19a4234e87e
use respawner
helm/scripts/init.d/helm-http-getter
helm/scripts/init.d/helm-search-engine