# HG changeset patch # User Giannis # Date 1361302960 -7200 # Node ID b034e90bbf3e572fa60e9539c41652be82463edc # Parent 8291320ffe74d4639fd7a4bc2efc06c0d710d401 New hgignore for output html files diff -r 8291320ffe74 -r b034e90bbf3e .hgignore --- a/.hgignore Tue Feb 19 21:39:57 2013 +0200 +++ b/.hgignore Tue Feb 19 21:42:40 2013 +0200 @@ -4,3 +4,4 @@ re:^_ re:~$ +re:^docs/aux_build/html/