matita.cs.unibo.it Git - helm.git/blob - pkg-matita/trunk/debian/matita.dirs

]> matita.cs.unibo.it Git - helm.git/blob - pkg-matita/trunk/debian/matita.dirs

projects / helm.git / blob

0dc001e7f6702bb5db842aa98dbac25658eacf07

[helm.git] / pkg-matita / trunk / debian / matita.dirs

1 /usr/bin

2 /usr/share/matita/

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