From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Fri, 6 Jul 2012 13:27:08 +0000 (+0000)
Subject: added tick.png
X-Git-Tag: make_still_working~1617
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=4386cd1be69b473dc7e12fbe96e156c8b2de7954

added tick.png
---

diff --git a/matitaB/matita/html/icons/tick.png b/matitaB/matita/html/icons/tick.png
new file mode 100644
index 000000000..53fb63fd3
Binary files /dev/null and b/matitaB/matita/html/icons/tick.png differ