]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51ffd8e) | patch
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
tree7eb705686829e9d89a9a91cac9902eb15d4ff9fetree | snapshot
parent51ffd8e2a9785d42834ab20bd582cd784ed3ad3fcommit | diff
Removed stuff no longer in use.
helm/scripts/.cvsignore [deleted file] blob | history
helm/scripts/Makefile [deleted file] blob | history
helm/scripts/makeit [deleted file] blob | history
helm/scripts/template.cshrc [deleted file] blob | history
helm/scripts/template.rc [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.