]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a744f0) | patch
A tab converted to spaces as it should be.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Jul 2005 14:00:58 +0000 (14:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 19 Jul 2005 14:00:58 +0000 (14:00 +0000)
commit9d13e8cffc78ca67acebd258f654ecf6d8ca2164
tree412616a07f587112fc98f02bf599c761cd7c1b63tree | snapshot
parent0a744f0790c6483f0e962e7392b1f588ec10895dcommit | diff
A tab converted to spaces as it should be.
helm/matita/matita.ma.templ diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.