]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e55edd8) | patch
Matitaweb: svn now skips empty add.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 12 Oct 2011 13:59:15 +0000 (13:59 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 12 Oct 2011 13:59:15 +0000 (13:59 +0000)
commit2121ee85f036b9554d071bdde1e12af572cc8037
tree4737f3898abad58b1876426e9f44687ed8791518tree | snapshot
parente55edd820bb75b0e20d67b57d6d09977e5d7b3abcommit | diff
Matitaweb: svn now skips empty add.
matitaB/matita/matitaFilesystem.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.