.hgignore
author zhangx
Fri, 21 Apr 2017 20:17:13 +0800
changeset 160 83da37e8b1d2
parent 91 0525670d8e6a
permissions -rw-r--r--
"up_to" added and main theorems improved.

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