| author | Walther Neuper <neuper@ist.tugraz.at> |
| Sat, 14 Aug 2010 18:21:21 +0200 | |
| branch | decompose-isar |
| changeset 37918 | f0eed46d0e6f |
| parent 37909 | 73b2fc2f5ed0 |
| child 37924 | 6c53fe2519e5 |
| child 37955 | 5305daa4228e |
| child 38018 | 7904922578cf |
| child 38019 | dff56d7ebaea |
| 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 |
| neuper@37895 | 18 |
^doc-src/.*\.lot |
| wenzelm@28941 | 19 |
^doc-src/.*\.idx |
| wenzelm@28941 | 20 |
^doc-src/.*\.ind |
| wenzelm@31926 | 21 |
^doc-src/.*\.lof |
| wenzelm@28941 | 22 |
^doc-src/.*\.log |
| neuper@37898 | 23 |
^doc-src/.*\.lot |
| wenzelm@28941 | 24 |
^doc-src/.*\.out |
| neuper@37895 | 25 |
^doc-src/.*\.pdf |
| wenzelm@28941 | 26 |
^doc-src/.*\.rai |
| wenzelm@28941 | 27 |
^doc-src/.*\.rao |
| neuper@37895 | 28 |
^doc-src/.*\.tex.backup |
| wenzelm@28941 | 29 |
^doc-src/.*\.toc |
| wenzelm@28909 | 30 |
|
| neuper@37871 | 31 |
^doc/.* |
| neuper@37895 | 32 |
^doc-src/isac/bib* |
| neuper@37871 | 33 |
|
| wenzelm@34873 | 34 |
^src/Tools/jEdit/nbproject/private/ |
| wenzelm@34873 | 35 |
^src/Tools/jEdit/build/ |
| wenzelm@34873 | 36 |
^src/Tools/jEdit/dist/ |
| wenzelm@34873 | 37 |
^src/Tools/jEdit/contrib/ |