]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8ad1d2) | patch
.cvsignore added where useful
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Feb 2002 18:22:04 +0000 (18:22 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 12 Feb 2002 18:22:04 +0000 (18:22 +0000)
commitce7192054b9f426b6fed4bc484815b4d80a907d4
tree7323abf0b69533bcd62bd907d00156b4a65b82datree | snapshot
parentd8ad1d26122af00feda930086b6cfa42de0139fecommit | diff
.cvsignore added where useful
helm/mowgli/home/html/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/people/aei/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/people/bologna/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/people/dfki/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/people/inria/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/people/nijmegen/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/people/trusted-logic/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/publications/others/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/sites/.cvsignore [new file with mode: 0644] blob
helm/mowgli/home/html/work-packages/.cvsignore [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.