.hgignore
author zhangx
Tue, 09 Feb 2016 22:30:43 +0800
changeset 114 81c6ede5cd11
parent 91 0525670d8e6a
permissions -rw-r--r--
More refinements in PIPBasics.thy.

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