author | blanchet |
Thu, 29 Jul 2010 18:45:41 +0200 | |
changeset 38338 | 81a003f7de0d |
parent 34873 | e10547372c41 |
child 37871 | 875b6efa7ced |
child 43389 | 57367832b81a |
permissions | -rw-r--r-- |
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/ |