]> matita.cs.unibo.it Git - helm.git/commit - helm/hbugs/tutors/run/.cvsignore
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5175b07) | patch
- added run/'s .cvsignore ignoring *.LOG files
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 14:21:33 +0000 (14:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 14:21:33 +0000 (14:21 +0000)
commit4bd8dc3b065591f96514d9eee03496582e6a703f
tree66c2edf696a496d903b9b2fed35e7f07a17f2348tree | snapshot
parent5175b0757d9f95c22fe145110aba428d49cf74dfcommit | diff
- added run/'s .cvsignore ignoring *.LOG files
helm/hbugs/tutors/run/.cvsignore [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.