From 868e07122fbdedd549af97d8a3d261652d1702b6 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 24 Jan 2006 10:13:04 +0000
Subject: [PATCH] removed damaged icon

---
 helm/matita/icons/whelp.png | Bin 1072 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 helm/matita/icons/whelp.png

diff --git a/helm/matita/icons/whelp.png b/helm/matita/icons/whelp.png
deleted file mode 100644
index 5597d51e6b415ea647062df0c3ed5213a54e43c0..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 1072
zcmV-01kd}4P)<h*8VUda018P+L{b0%02BZK022rX0001xj4ibQ000DYLP=Bz2nYy#
z2xN!=000?uMObuGZ)S9NVRB^vcXxL#X>MzCV_|S*E^l&Yo9;Xs000BSNkl<ZIE{^z
zYfM{Z7{~vIb9$vIthJ@By>MAQNNJHO7{NKSIhJ8!m?pS5BML0u5}dch_+_G*`eB$&
zzi5bq%<N*agk&?BaaF=#$d)shEn#JYLOU3(gLV<<O3yic{a|QXiqYrO`@HY-{PO?5
zH;NE~|BAPons!%MEFa4Nmmrm1pN>Wk9qH-0v{@~)aiX!V?veV+%8o*n%HRu!Pkejo
z)S0asO;<%xkz;yc0qmA7Pv;SG6o9+N;V9WvUH!gNsZ?DF1dg8fc&<~K3Mq=BkF~YU
zmKu%b>2Me&1_Sy2^5r*PbUME_=yWpw+#JfyX3WK6YiEXrUVf>r?u1FJRq%p<<wSz#
z78gIv%T)J#ef?_=o6X$s^Fa_r$Qg#(SzZ0?o#o|g03c=lF|?9O{a(+q2TWS6VrpRl
z!+t+BDwV{hR<|<%P+L`HHS6^iqvPXe15W3c6&8zD5JeCG!C36Vq|euXUlc!JfVxN`
zF~rTxeDQ?E(gy%Dkq8)?1_02h)C2U|<mBNUcKgYv?DiIGaq%8sDD;U+F4uyl<6J0o
za%_GvSW;QLGgW9*hXo8@3j~IL?)PwJolfPlT6ZNy5jA!@0O01mdp}U$w71X3dEO?7
zA|5R(!;fC?>pgva-7PI|e_mehKESdST8g65+rsla0)ZQMZr%E$OZsO>{gBbv#4wC<
zVP)m~Z$96rOhOcI-cKfNMTLb}T3ucB&V<G~Iu4C(-@dylFE4A00RR$-1T5<^S*=^U
zIBsCz-LE>`gpkzwIxX=0h|Oe@CJ9;Mg2B!Q%WDrdG(7iYrmD?CB9XvsE-lvUb>_y#
zXU?T>O6IlMyZ4oY&CRV{3WXvqEtN_kQ|aK~FW9!NA)QB~cas+{o_*o;>E53JAj?x}
zDZ3*R1^`#DW<Lm?PiEyBjZSK{mNl*CS<U(RYIdWwXmk;T5O}>D03aS;&9SdmYaBU1
zilQi*X4D&t2}xmmd=&HZLBwK9kjs@hK$>O>a)5*ol1Rj-Hx|p~3UJ&I6bdCgo^x=y
z9?Jp7<13Tv<E+mi7Q1@`Kz-(%Mx#SPfd({9L#fP%UT@3+hQqhLX{VW|>~cMB+rR(K
zODy}aHK*%eVq#)!;`s3+?y0G%HDJS`c)eGGBO||l6pbz={tqk?ng7f0=U!ch<tSW_
zef!#)9gdn#r?a|zGmsz%n3xzH3IxXA>+St+AaiX~AOKJlC2MVc=QD%B;+Dx2B{a=w
q2@%4HM0_?9xjoq3eeCdNeSZV`afNGQ`6!400000<MNUMnLSTZh8u=~&

-- 
2.39.5