.hgignore
author wenzelm
Wed, 09 Jun 2010 16:23:00 +0200
changeset 37471 582780d89e64
parent 34873 e10547372c41
child 37871 875b6efa7ced
child 43389 57367832b81a
permissions -rw-r--r--
explicit treatment of empty exception block, which could lead to confusing output (e.g. in the theory loader), or even prevent error output altogether;
     1 syntax: glob
     2 
     3 *~
     4 *.class
     5 *.jar
     6 .DS_Store
     7 
     8 
     9 syntax: regexp
    10 
    11 ^contrib
    12 ^heaps/
    13 ^browser_info/
    14 ^doc-src/.*\.aux
    15 ^doc-src/.*\.bbl
    16 ^doc-src/.*\.blg
    17 ^doc-src/.*\.dvi
    18 ^doc-src/.*\.idx
    19 ^doc-src/.*\.ind
    20 ^doc-src/.*\.lof
    21 ^doc-src/.*\.log
    22 ^doc-src/.*\.out
    23 ^doc-src/.*\.rai
    24 ^doc-src/.*\.rao
    25 ^doc-src/.*\.toc
    26 
    27 ^src/Tools/jEdit/nbproject/private/
    28 ^src/Tools/jEdit/build/
    29 ^src/Tools/jEdit/dist/
    30 ^src/Tools/jEdit/contrib/