]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/log
projects / pkg-cerco / acc-trusted.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
pkg-cerco/acc-trusted.git
11 years agominimal package ready
commit | commitdiff | tree
Enrico Tassi [Thu, 4 Apr 2013 09:55:22 +0000 (11:55 +0200)]
minimal package ready

11 years agoMerge tag 'upstream/0.1'
commit | commitdiff | tree
Enrico Tassi [Thu, 4 Apr 2013 09:36:51 +0000 (11:36 +0200)]
Merge tag 'upstream/0.1'

Upstream version 0.1

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

11 years agoMerge tag 'upstream/0.1'
commit | commitdiff | tree
Enrico Tassi [Thu, 4 Apr 2013 09:32:33 +0000 (11:32 +0200)]
Merge tag 'upstream/0.1'

Upstream version 0.1

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

11 years agoMerge tag 'upstream/0.1'
commit | commitdiff | tree
Enrico Tassi [Thu, 4 Apr 2013 09:25:27 +0000 (11:25 +0200)]
Merge tag 'upstream/0.1'

Upstream version 0.1

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

11 years agosome packaging work
commit | commitdiff | tree
Enrico Tassi [Thu, 4 Apr 2013 09:25:05 +0000 (11:25 +0200)]
some packaging work

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

Unnamed repository; edit this file 'description' to name the repository.