From: Enrico Tassi <gares@fettunta.org>
Date: Thu, 4 Apr 2013 10:05:27 +0000 (+0200)
Subject: Imported Upstream version 0.1
X-Git-Tag: upstream/0.1^0
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b4da02b8856ccc723c707618038f6a5c3bf223e2;hp=b4da02b8856ccc723c707618038f6a5c3bf223e2;p=pkg-cerco%2Facc-trusted.git

Imported Upstream version 0.1
---