]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit
Imported Upstream version 0.1 upstream/0.1
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 10:05:27 +0000 (12:05 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 10:05:27 +0000 (12:05 +0200)
commitb4da02b8856ccc723c707618038f6a5c3bf223e2
tree386730d4e1b6e1b75f12e07529fb710740d665ef
parent98567d825bdc459cc23725bcb38189ed9a47ac82
Imported Upstream version 0.1
Makefile [new file with mode: 0755]
build [deleted file]
extracted/Makefile [new file with mode: 0755]
extracted/build [deleted file]