removed no longer used METAs

[helm.git] / helm / matita / icons / whelp.png

diff --git a/helm/matita/icons/whelp.png b/helm/matita/icons/whelp.png
index 5597d51e6b415ea647062df0c3ed5213a54e43c0..f67ea8b5552919b8c949f908c5509b7e06a69819 100644 (file)
Binary files a/helm/matita/icons/whelp.png and b/helm/matita/icons/whelp.png differ