]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c90e354) | patch
cosmetic changes
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 08:31:03 +0000 (08:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 27 Jul 2005 08:31:03 +0000 (08:31 +0000)
commit2217c67eccc96fad6c84cc615e41b60405619ac3
tree069e0da396cb5524ec37259b8845c13aa7f61eb1tree | snapshot
parentc90e354dfd2a81f03664ca68504e0932f670fe17commit | diff
cosmetic changes
helm/matita/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.