]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e664a23) | patch
The .depend must not be committed! Fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2005 10:41:06 +0000 (10:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Nov 2005 10:41:06 +0000 (10:41 +0000)
commit7c33d285b07538e7cf6be9dd9332e164c47904fe
tree9ea7e424086fb132e2588a349ad55008af5127b0tree | snapshot
parente664a23ff954c4a2d414c78941d9fb84ac13b1d4commit | diff
The .depend must not be committed! Fixed.
helm/matita/contribs/LAMBDA-TYPES/.cvsignore [new file with mode: 0644] blob
helm/matita/contribs/LAMBDA-TYPES/.depend [deleted file] blob | history
helm/matita/contribs/PREDICATIVE-TOPOLOGY/.cvsignore [new file with mode: 0644] blob
helm/matita/contribs/PREDICATIVE-TOPOLOGY/.depend [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.