]>
matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Enrico Tassi [Thu, 4 Apr 2013 09:25:27 +0000 (11:25 +0200)]
Merge tag 'upstream/0.1'
Upstream version 0.1
Enrico Tassi [Thu, 4 Apr 2013 09:25:23 +0000 (11:25 +0200)]
Imported Upstream version 0.1
Enrico Tassi [Thu, 4 Apr 2013 09:25:05 +0000 (11:25 +0200)]
some packaging work
Enrico Tassi [Thu, 4 Apr 2013 09:07:59 +0000 (11:07 +0200)]
Imported Upstream version 0.1
projects / pkg-cerco / acc-trusted.git / log