From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 16 Mar 2001 11:43:18 +0000 (+0000)
Subject: Used for files where annotations are availables
X-Git-Tag: v0_1_2~77
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f79235c1673029bf7baa47f80adb0580d3da8277;p=helm.git

Used for files where annotations are availables
---

diff --git a/helm/on-line/icons/text.gif b/helm/on-line/icons/text.gif
new file mode 100644
index 000000000..4c623909f
Binary files /dev/null and b/helm/on-line/icons/text.gif differ