From: matitaweb <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Mar 2012 13:45:19 +0000 (+0000)
Subject: Removed gif
X-Git-Tag: make_still_working~1901
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=17c2a1a9354b98eff06e77e0c8d13b653df7efcf;p=helm.git

Removed gif
---

diff --git a/weblib/tutorial/acUbc.gif b/weblib/tutorial/acUbc.gif
deleted file mode 100644
index 9222a3418..000000000
Binary files a/weblib/tutorial/acUbc.gif and /dev/null differ