]> matita.cs.unibo.it Git - pkg-cerco/acc.git/log
pkg-cerco/acc.git
11 years agoPackage description and copyright added. master
Claudio Sacerdoti Coen [Tue, 30 Apr 2013 09:07:47 +0000 (11:07 +0200)]
Package description and copyright added.

11 years agofirst version of the package
Enrico Tassi [Thu, 14 Mar 2013 18:27:26 +0000 (19:27 +0100)]
first version of the package

11 years agoImported Upstream version 0.2 upstream upstream/0.2
Enrico Tassi [Thu, 14 Mar 2013 18:22:55 +0000 (19:22 +0100)]
Imported Upstream version 0.2