.hgignore
author blanchet
Sat, 03 Jul 2010 00:50:35 +0200
changeset 37695 c6161bee8486
parent 34873 e10547372c41
child 37871 875b6efa7ced
child 43389 57367832b81a
permissions -rw-r--r--
adapt Nitpick to "prod_case" and "*" -> "sum" renaming;
the code in "Nitpick_Preproc", which sorted the types using "typ_ord", was wrong and evil; it seems to have worked only because "*" was called "*"
wenzelm@28909
     1
syntax: glob
wenzelm@28909
     2
wenzelm@28909
     3
*~
wenzelm@28911
     4
*.class
wenzelm@28911
     5
*.jar
wenzelm@28909
     6
.DS_Store
wenzelm@28909
     7
wenzelm@28909
     8
wenzelm@28909
     9
syntax: regexp
wenzelm@28909
    10
haftmann@31669
    11
^contrib
wenzelm@28909
    12
^heaps/
wenzelm@28909
    13
^browser_info/
wenzelm@28941
    14
^doc-src/.*\.aux
wenzelm@28941
    15
^doc-src/.*\.bbl
wenzelm@28941
    16
^doc-src/.*\.blg
wenzelm@28941
    17
^doc-src/.*\.dvi
wenzelm@28941
    18
^doc-src/.*\.idx
wenzelm@28941
    19
^doc-src/.*\.ind
wenzelm@31926
    20
^doc-src/.*\.lof
wenzelm@28941
    21
^doc-src/.*\.log
wenzelm@28941
    22
^doc-src/.*\.out
wenzelm@28941
    23
^doc-src/.*\.rai
wenzelm@28941
    24
^doc-src/.*\.rao
wenzelm@28941
    25
^doc-src/.*\.toc
wenzelm@28909
    26
wenzelm@34873
    27
^src/Tools/jEdit/nbproject/private/
wenzelm@34873
    28
^src/Tools/jEdit/build/
wenzelm@34873
    29
^src/Tools/jEdit/dist/
wenzelm@34873
    30
^src/Tools/jEdit/contrib/