]> matita.cs.unibo.it Git - helm.git/tree
ugly hack to make matitac not exit when called on a readonly baseuri, but just fail
drwxr-xr-x - helm