]> matita.cs.unibo.it Git - helm.git/commit
cvsignore added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:12:45 +0000 (14:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 21 Dec 2000 14:12:45 +0000 (14:12 +0000)
commitc3dc7a49311fba7a38c5e7c834df33e93d2926f6
treed9fc2d2219e034b2aa45c771c6b5e7314cd7bbc0
parentf0ed73efe485ebb580e05b7c10fde904da34e052
cvsignore added
helm/configuration/.cvsignore [new file with mode: 0644]