]> matita.cs.unibo.it Git - helm.git/commit
Daemon moved to /projects/helm/daemons.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 12:41:15 +0000 (12:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 12:41:15 +0000 (12:41 +0000)
commit65299878c75122af312ee87e5dde37bc8b178e0e
tree81d65c5286d608daa5903aa6626e72a307b1f01f
parentb0e46002a23039f330057d2b0d6064287d45b628
Daemon moved to /projects/helm/daemons.
helm/scripts/init.d/helm-proof-checker_mowgli