]> matita.cs.unibo.it Git - helm.git/commit
added css and image for bugzilla
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 14:31:34 +0000 (14:31 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Jun 2006 14:31:34 +0000 (14:31 +0000)
commit19849608a5bf22dc233abf5030745f3ea0fcd4c9
treed4c09c415f2e6460160f3663b0f1de3d784fd65a
parentc864b3853bbe90664e6ad3128038fc8fa4b5d641
added css and image for bugzilla
helm/www/matita/bugzilla.css [new file with mode: 0644]
helm/www/matita/images/matita-bugs.png [new file with mode: 0644]