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

Merge tag 'upstream/0.1'

Upstream version 0.1
---

742d6e6606a44e5f305c503a60e0e6f59e7f55f3