.hgignore
author wenzelm
Thu, 06 Aug 2009 19:51:59 +0200
changeset 32332 bc5cec7b2be6
parent 31926 cdfe9a757d5f
child 34873 e10547372c41
permissions -rw-r--r--
misc changes to SOS by Philipp Meyer:
CSDP_EXE as central setting;
separate component src/HOL/Library/Sum_Of_Squares;
misc tuning and rearrangement of neos_csdp_client;
more robust treatment of shell paths;
debugging depends on local flag;
removed unused parts;
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@31926
    27