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

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

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

16bb44bd9c3de41e371a4cee008570d4dec6dc86

-rw-r--r--	161	changelog	blob \| raw
-rw-r--r--	2	compat	blob \| raw
-rw-r--r--	301	control	blob \| raw
-rw-r--r--	8	copyright	blob \| raw
-rwxr-xr-x	317	rules	blob \| raw
drwxr-xr-x	-	source	tree

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