]> 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:36:51 +0000 (11:36 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:36:51 +0000 (11:36 +0200)
commitfb6e2bae8428171a96eef6d15778b0ec89769597
tree6add2a6a5a645b4a3c15cfcbe1827a91adbf451d
parent819a885cb0c331d8d632811ab90da87621fd7626
parent98567d825bdc459cc23725bcb38189ed9a47ac82
Merge tag 'upstream/0.1'

Upstream version 0.1