]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/log
pkg-cerco/acc-trusted.git
11 years agoImported Upstream version 0.2 upstream
Claudio Sacerdoti Coen [Tue, 30 Apr 2013 16:58:09 +0000 (18:58 +0200)]
Imported Upstream version 0.2

11 years agoImported Upstream version 0.1 upstream/0.1
Enrico Tassi [Thu, 4 Apr 2013 10:05:27 +0000 (12:05 +0200)]
Imported Upstream version 0.1

11 years agoImported Upstream version 0.1
Enrico Tassi [Thu, 4 Apr 2013 09:36:51 +0000 (11:36 +0200)]
Imported Upstream version 0.1

11 years agoImported Upstream version 0.1
Enrico Tassi [Thu, 4 Apr 2013 09:32:33 +0000 (11:32 +0200)]
Imported Upstream version 0.1

11 years agoImported Upstream version 0.1
Enrico Tassi [Thu, 4 Apr 2013 09:25:23 +0000 (11:25 +0200)]
Imported Upstream version 0.1

11 years agoImported Upstream version 0.1
Enrico Tassi [Thu, 4 Apr 2013 09:07:59 +0000 (11:07 +0200)]
Imported Upstream version 0.1