]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08a92d2) | patch
moved matita-bugs.ong -> matita-medium.png
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 14:39:58 +0000 (14:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 14:39:58 +0000 (14:39 +0000)
commitaa9badffab0e029513c6afe7991af493d02bbe5b
tree3af4f236e913f98645d957c064e628954b1c9144tree | snapshot
parent08a92d276c5477968b02f31097b6ed03185f34ebcommit | diff
moved matita-bugs.ong -> matita-medium.png
helm/www/matita/bugzilla.css diff | blob | history
helm/www/matita/images/matita-bugs.png [deleted file] blob | history
helm/www/matita/images/matita-medium.png [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.