]> matita.cs.unibo.it Git - helm.git/blob - webdb_convert.sh
projects / helm.git / blob
? search:


917b09084a5ed69f58611240238b9e88761cd725
[helm.git] / webdb_convert.sh
1 #!
2 cp ~/.matita/usertable.dump ~/.matita/usertable.dump.old && ./webdb_convert 
Unnamed repository; edit this file 'description' to name the repository.