]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/matita/images/matita-bugs.png
moved matita-bugs.ong -> matita-medium.png
[helm.git] / helm / www / matita / images / matita-bugs.png
diff --git a/helm/www/matita/images/matita-bugs.png b/helm/www/matita/images/matita-bugs.png
deleted file mode 100644 (file)
index b91dfa9..0000000
Binary files a/helm/www/matita/images/matita-bugs.png and /dev/null differ