]> matita.cs.unibo.it Git - helm.git/commit
ignore environments
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Dec 2003 16:57:50 +0000 (16:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 4 Dec 2003 16:57:50 +0000 (16:57 +0000)
commit3308f73974648dc4a0a7022e6b8c6ca9a7d4d8f9
tree54cabe4bd581d4218aa62121390ff5df4e5e6298
parent75bf77de87ca5b6fc692af2969cc4442542be62b
ignore environments
helm/hbugs/tutors/.cvsignore