]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit
projects / pkg-cerco / acc-trusted.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad09a84) | patch
Imported Upstream version 0.1
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:36:51 +0000 (11:36 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:36:51 +0000 (11:36 +0200)
commit98567d825bdc459cc23725bcb38189ed9a47ac82
tree25e6c70c1935dfa31bec396c74fd284c9bf7b121tree | snapshot
parentad09a84c85a4c2ce50bc56774dda16973695840acommit | diff
Imported Upstream version 0.1
build diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.