]> matita.cs.unibo.it Git - helm.git/commit
Error in the warning message.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 09:52:20 +0000 (09:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 09:52:20 +0000 (09:52 +0000)
commitf11326e0db6cb41be9785ce4eb52d87c8cc3c075
tree4a245ea5c4d9c82c80551a40eed8c3ecf9ab74cf
parent915501060a420a393173e155aab3544e60005889
Error in the warning message.
helm/scripts/init.d/helm_mowgli