]> matita.cs.unibo.it Git - helm.git/commit
use new daemon_respawner.sh
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:02:38 +0000 (16:02 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 16 Apr 2004 16:02:38 +0000 (16:02 +0000)
commit6dc5a75359bd858a997c6f190e35e3c048bf7197
tree0bd603b1889f046721a604a3cad07cc9bff1d348
parent6afa45ce3c546dd373791ce7f0db7aecb1ad373a
use new daemon_respawner.sh
helm/scripts/init.d/helm-uwobo_mowgli