Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
.hgignore
author blanchet
Fri, 04 Oct 2013 11:28:28 +0200
changeset 55195 903ab115e9fd
parent 49988 fcd21f714996
child 52054 8c7f0f37a3ab
child 55270 a556fcaf2ae3
child 55317 4300525448d7
child 55933 7f36da77130d
permissions -rw-r--r--
count remote threads as well when balancing CPU usage -- otherwise jEdit users and other users of the "blocking" mode may have to wait for 2 * timeout if they e.g. have 4 cores and 5 provers (the typical situation) 
     1 syntax: glob

     2 

     3 *~

     4 *.class

     5 *.jar

     6 *.orig

     7 *.rej

     8 .DS_Store

     9 

    10 

    11 syntax: regexp

    12 

    13 ^contrib

    14 ^heaps/

    15 ^browser_info/

    16 ^doc/.*\.dvi

    17 ^doc/.*\.eps

    18 ^doc/.*\.pdf

    19 ^doc/.*\.ps

    20 ^src/Tools/jEdit/dist/
wneuper/isa