]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit
Merge tag 'upstream/0.1'
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 10:05:27 +0000 (12:05 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 10:05:27 +0000 (12:05 +0200)
commit742d6e6606a44e5f305c503a60e0e6f59e7f55f3
tree29ba95fb754f9f94ec4736b684c4a0f3f10566e1
parent0d48a8f9da55abd1a7025daef1f8e45e8ed6a078
parentb4da02b8856ccc723c707618038f6a5c3bf223e2
Merge tag 'upstream/0.1'

Upstream version 0.1