]> 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:32:33 +0000 (11:32 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:32:33 +0000 (11:32 +0200)
commit819a885cb0c331d8d632811ab90da87621fd7626
treef812dc7dc63c13d551b6165f90e3f8fa3fa4f526
parentb38a28e3fe204e7e7a8192ec2e03e959b7a0c570
parentad09a84c85a4c2ce50bc56774dda16973695840a
Merge tag 'upstream/0.1'

Upstream version 0.1