]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit
rename compiler to acc-trusted
authorEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:57:21 +0000 (11:57 +0200)
committerEnrico Tassi <gares@fettunta.org>
Thu, 4 Apr 2013 09:57:21 +0000 (11:57 +0200)
commit55b32160b19555999f415599edec2a2450180caf
tree00d14d8bb28392a8e6fb717236d2379bbe133afc
parent99951870fb1cca5f66db3c8ae38a1dd98f5184db
rename compiler to acc-trusted
debian/rules