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

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

projects / helm.git / blob

0dc001e7f6702bb5db842aa98dbac25658eacf07

[helm.git] / matita.dirs

1 /usr/bin

2 /usr/share/matita/

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