]> matita.cs.unibo.it Git - helm.git/commit
Several no longer used variables removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:49:06 +0000 (17:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:49:06 +0000 (17:49 +0000)
commitc06ca65404b0896f8541b3e8c79e7d2466c6a939
treea1c60bb54d03b94619b74705102291ec2211f672
parent5e4a9151cb9c5b9457655a3b2a55fce1ea46f08b
Several no longer used variables removed.
helm/scripts/template.cshrc
helm/scripts/template.rc