]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit
Merge tag 'upstream/0.2'
authorClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Tue, 30 Apr 2013 16:58:09 +0000 (18:58 +0200)
committerClaudio Sacerdoti Coen <claudio@zenone.casamia.org>
Tue, 30 Apr 2013 16:58:09 +0000 (18:58 +0200)
commita8625face4ff4ee0db0ce15e77bfbc5db832aa56
tree5c47e6460631f0bb11464e1bdd9d0d53a015d408
parent742d6e6606a44e5f305c503a60e0e6f59e7f55f3
parentd549e01e37d9b10e96f60e64a1814f5a9208e283
Merge tag 'upstream/0.2'

Upstream version 0.2