]> matita.cs.unibo.it Git - helm.git/commit
Removed stuff no longer in use.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 16:11:27 +0000 (16:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 18 Feb 2004 16:11:27 +0000 (16:11 +0000)
commitf90b82510f49539719a2e561519cca72a493334b
tree7eb705686829e9d89a9a91cac9902eb15d4ff9fe
parent51ffd8e2a9785d42834ab20bd582cd784ed3ad3f
Removed stuff no longer in use.
helm/scripts/.cvsignore [deleted file]
helm/scripts/Makefile [deleted file]
helm/scripts/makeit [deleted file]
helm/scripts/template.cshrc [deleted file]
helm/scripts/template.rc [deleted file]