]> matita.cs.unibo.it Git - helm.git/commit - helm/scripts/init.d/helm-proof-checker_mowgli
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0e4600) | patch
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
tree81d65c5286d608daa5903aa6626e72a307b1f01ftree | snapshot
parentb0e46002a23039f330057d2b0d6064287d45b628commit | diff
Daemon moved to /projects/helm/daemons.
helm/scripts/init.d/helm-proof-checker_mowgli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.