]> matita.cs.unibo.it Git - helm.git/commit
Other stuff no longer used removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:50:40 +0000 (17:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 17 Feb 2004 17:50:40 +0000 (17:50 +0000)
commit4b44a78aa345edfc569817176baa856c5522a87a
treefa23eaa475c000ca8271e2a950a3b9ffbbb97ea6
parentc06ca65404b0896f8541b3e8c79e7d2466c6a939
Other stuff no longer used removed.
helm/scripts/template.cshrc
helm/scripts/template.rc