]> 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 09:25:27 +0000 (11:25 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:25:27 +0000 (11:25 +0200)
commitb38a28e3fe204e7e7a8192ec2e03e959b7a0c570
treecdbf9b003ef3f5f50fe98282fcb08182b3b945d5
parentd79c4d9e52c2c9162b2a6336460337bb158c42a0
parent06154857ae14827fc40d714ac29ae54cc090cd57
Merge tag 'upstream/0.1'

Upstream version 0.1