]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75bf77d) | patch
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
tree54cabe4bd581d4218aa62121390ff5df4e5e6298tree | snapshot
parent75bf77de87ca5b6fc692af2969cc4442542be62bcommit | diff
ignore environments
helm/hbugs/tutors/.cvsignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.