.hgignore
author wenzelm
Tue, 23 Jun 2009 21:00:18 +0200
changeset 31779 68eccca7f51c
parent 31669 6802c34af5a9
child 31926 cdfe9a757d5f
permissions -rw-r--r--
fixed abbrev !! for \<And>;
     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/.*\.log
    21 ^doc-src/.*\.out
    22 ^doc-src/.*\.rai
    23 ^doc-src/.*\.rao
    24 ^doc-src/.*\.toc
    25