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

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

projects / helm.git / blob

a1564d174985bbeeb40c487fbf37cd7cde9239eb

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

1 /usr/share/matita/ma/

2 /usr/share/matita/xml/

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