]> matita.cs.unibo.it Git - helm.git/commit - helm/scripts/template.rc
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e4a915) | patch
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
treea1c60bb54d03b94619b74705102291ec2211f672tree | snapshot
parent5e4a9151cb9c5b9457655a3b2a55fce1ea46f08bcommit | diff
Several no longer used variables removed.
helm/scripts/template.cshrc diff | blob | history
helm/scripts/template.rc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.