]> matita.cs.unibo.it Git - helm.git/commit
uwobo ==> uwobo.opt
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 16:42:34 +0000 (16:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 16:42:34 +0000 (16:42 +0000)
commit7bbd17ae8ff97bc1a5f93d9e2baa28fd671b1168
tree130a0bfed9d7b1d4001e510e409ff125e8de7a33
parentd359d9542769e0ccbdf6736a1e7273f3aa02698c
uwobo ==> uwobo.opt
helm/scripts/init.d/uwobo_forever.sh