diff -r 9bf0d5a1f0cf -r 3bd105dc47ab .hgignore --- a/.hgignore Fri Jul 13 22:32:19 2012 +0300 +++ b/.hgignore Fri Jul 13 22:33:22 2012 +0300 @@ -1,2 +1,3 @@ syntax: glob tips-html/ +HEADER.rst