]> matita.cs.unibo.it Git - helm.git/commit
The semantics of the UWOBO_LOG variable has changed: the suffix ".log"
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 May 2003 16:31:05 +0000 (16:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 May 2003 16:31:05 +0000 (16:31 +0000)
commit347a0f4a6e75a9c7dcef3c0f0da837c76c6e8890
tree5c50aa715c61a293f471e32af58b9dda7675ab19
parent02c7bf893b54aad91d376c3ca47d156401ae2f7c
The semantics of the UWOBO_LOG variable has changed: the suffix ".log"
should not be in there any more.
helm/scripts/template.cshrc
helm/scripts/template.rc