]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db38097) | patch
added .cvsignore
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Apr 2004 08:31:19 +0000 (08:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 22 Apr 2004 08:31:19 +0000 (08:31 +0000)
commit6282560d458d49aad5da5b6ebe4e2c0c3dc88c89
treef1fa96f523715d98dbd9a90132ee281e6add97ebtree | snapshot
parentdb380975055d3e4bc3668adba56f693aa8f0968fcommit | diff
added .cvsignore
helm/ocaml/hbugs/.cvsignore [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.