From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 28 May 2004 10:47:07 +0000 (+0000)
Subject: No longer in use.
X-Git-Tag: pre_subst_in_kernel~61
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1de0d09622cf51f60302a9816b43be8f64324ab1;p=helm.git

No longer in use.
---

diff --git a/helm/on-line/icons/back.gif b/helm/on-line/icons/back.gif
deleted file mode 100644
index a694ae1ec..000000000
Binary files a/helm/on-line/icons/back.gif and /dev/null differ
diff --git a/helm/on-line/icons/folder.gif b/helm/on-line/icons/folder.gif
deleted file mode 100644
index 48264601a..000000000
Binary files a/helm/on-line/icons/folder.gif and /dev/null differ
diff --git a/helm/on-line/icons/generic.red.gif b/helm/on-line/icons/generic.red.gif
deleted file mode 100644
index 94743981d..000000000
Binary files a/helm/on-line/icons/generic.red.gif and /dev/null differ
diff --git a/helm/on-line/icons/text.gif b/helm/on-line/icons/text.gif
deleted file mode 100644
index 4c623909f..000000000
Binary files a/helm/on-line/icons/text.gif and /dev/null differ