]> matita.cs.unibo.it Git - helm.git/commit
.cvsignore file added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:37:36 +0000 (13:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Dec 2000 13:37:36 +0000 (13:37 +0000)
commit84b9665edfcbacf76fd0018f745f9163e9089589
treece7a977519926b685ee810cb8bdfde14591e4924
parentba5c18602094f16b953069744a7cf34c76fe58e7
.cvsignore file added
helm/helm_data/.cvsignore [new file with mode: 0644]