From 4386cd1be69b473dc7e12fbe96e156c8b2de7954 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Fri, 6 Jul 2012 13:27:08 +0000 Subject: [PATCH] added tick.png --- matitaB/matita/html/icons/tick.png | Bin 0 -> 467 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 matitaB/matita/html/icons/tick.png diff --git a/matitaB/matita/html/icons/tick.png b/matitaB/matita/html/icons/tick.png new file mode 100644 index 0000000000000000000000000000000000000000..53fb63fd34d5d13935ea35a4759e2835a77cc453 GIT binary patch literal 467 zcmV;^0WAKBP)cd3g%rR)oN9Y$739iM>viH!!V#}nst+i zuIpkn8sTs_V87p^)9E0W%OROeK7R|?wyjV+{aTS>j=bCLyv5F$OvX(l5&=A$&0Z#)c~GOrz*i`o{QtPS}m8#GRo!hTfg7O zdcDSKwc>rGQYkkcj|VV2nWp)|F7x>ur_;$Rh|8KxCJ;h+|IKET=lzVuVn1O&D$OOa z1Euli@%IEEc7FKJP`Q z9zbPXB9X{#urEUQD`m4;P+1?cEI-}!P_7SASyDJ0ehj|X@eACczX5TMXp;Z{002ov JPDHLkV1n_k%Hse4 literal 0 HcmV?d00001 -- 2.39.2