.hgignore
author zhangx
Fri, 29 Jan 2016 11:01:13 +0800
changeset 93 524bd3caa6b6
parent 91 0525670d8e6a
permissions -rw-r--r--
The overwriten original .thy files are working now. The ones in last revision aren't.

syntax: glob
*.*~
log
*.patch
*.hg
*.*.orig