]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2caa49) | patch
Bugfix in index.html.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:28:03 +0000 (12:28 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 22 Jun 2011 12:28:03 +0000 (12:28 +0000)
commit6488cac23c7fea4f5511979d26362547db3462d8
treedf645c9f9a58e5b739844904512272b26799f52ctree | snapshot
parentf2caa495ad67af93b2b5a2b6b54c96745ff5e8a7commit | diff
Bugfix in index.html.
matitaB/matita/index.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.