]> matita.cs.unibo.it Git - helm.git/commit
All daemons are now run in their .opt version.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 11:41:55 +0000 (11:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 11:41:55 +0000 (11:41 +0000)
commit23cf7d486d719c800b5615e085c6575fa780ec1d
treeb9d034ac03e8794b461c32746dda8aeb7e85cf92
parenteb6b979aab9c57fc6daec391849ce318e0ca3067
All daemons are now run in their .opt version.
helm/scripts/init.d/helm-http-getter_mowgli
helm/scripts/init.d/helm-uwobo_mowgli