]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4fb1d2) | patch
Logo for use in matitaweb.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 8 Jun 2011 11:22:14 +0000 (11:22 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Wed, 8 Jun 2011 11:22:14 +0000 (11:22 +0000)
commit4787d04975550e6a7760f419172649f6db35f9dc
tree8107af0ed15d4f9fc529628f36bba05dd6add6b5tree | snapshot
parentb4fb1d2a880acc6123c31e8ab70c9089b9f8a270commit | diff
Logo for use in matitaweb.
matitaB/matita/icons/matita-text.png [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.