author | wenzelm |
Tue, 28 Aug 2012 17:51:43 +0200 | |
changeset 48973 | fcd21f714996 |
parent 48972 | 196520d51afd |
child 48982 | efecf4b90cc8 |
--- a/.hgignore Tue Aug 28 17:49:02 2012 +0200 +++ b/.hgignore Tue Aug 28 17:51:43 2012 +0200 @@ -13,14 +13,8 @@ ^contrib ^heaps/ ^browser_info/ -^doc-src/.*\.aux -^doc-src/.*\.bbl -^doc-src/.*\.blg -^doc-src/.*\.dvi -^doc-src/.*\.idx -^doc-src/.*\.ind -^doc-src/.*\.lof -^doc-src/.*\.log -^doc-src/.*\.out -^doc-src/.*\.toc +^doc/.*\.dvi +^doc/.*\.eps +^doc/.*\.pdf +^doc/.*\.ps ^src/Tools/jEdit/dist/