matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/search

]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/search

projects / pkg-cerco / acc-trusted.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2013-04-04	Enrico Tassi	Merge tag 'upstream/0.1'	commit \| commitdiff \| tree
2013-04-04	Enrico Tassi	Imported Upstream version 0.1	commit \| commitdiff \| tree
2013-04-04	Enrico Tassi	some packaging work	commit \| commitdiff \| tree
2013-04-04	Enrico Tassi	Imported Upstream version 0.1	commit \| commitdiff \| tree

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