matita.cs.unibo.it Git - helm.git/tree

]> matita.cs.unibo.it Git - helm.git/tree

e9090cb4ec5d7a6a160f6c9aa8ea498961b3e74c

-rw-r--r--	12786	changelog	blob \| raw
-rw-r--r--	2	compat	blob \| raw
-rw-r--r--	1475	control	blob \| raw
-rw-r--r--	834	copyright	blob \| raw
-rw-r--r--	7	docs	blob \| raw
-rw-r--r--	403	liblablgtkmathview-ocaml-dev.install.in	blob \| raw
-rw-r--r--	93	liblablgtkmathview-ocaml.install.in	blob \| raw
-rwxr-xr-x	632	rules	blob \| raw

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