| author | blanchet |
| Thu, 24 Jul 2014 18:46:38 +0200 | |
| changeset 59000 | f55c173a3cbc |
| parent 57761 | f47de9e82b0f |
| child 59104 | 09a9b04605e5 |
| permissions | -rw-r--r-- |
| wenzelm@28909 | 1 |
syntax: glob |
| wenzelm@28909 | 2 |
|
| wenzelm@28909 | 3 |
*~ |
| wenzelm@28911 | 4 |
*.class |
| wenzelm@28911 | 5 |
*.jar |
| lp15@57761 | 6 |
*.marks |
| wenzelm@49823 | 7 |
*.orig |
| wenzelm@49823 | 8 |
*.rej |
| wenzelm@28909 | 9 |
.DS_Store |
| wenzelm@55933 | 10 |
.swp |
| wenzelm@28909 | 11 |
|
| wenzelm@28909 | 12 |
|
| wenzelm@28909 | 13 |
syntax: regexp |
| wenzelm@28909 | 14 |
|
| haftmann@31669 | 15 |
^contrib |
| wenzelm@28909 | 16 |
^heaps/ |
| wenzelm@28909 | 17 |
^browser_info/ |
| wenzelm@49988 | 18 |
^doc/.*\.dvi |
| wenzelm@49988 | 19 |
^doc/.*\.eps |
| wenzelm@49988 | 20 |
^doc/.*\.pdf |
| wenzelm@49988 | 21 |
^doc/.*\.ps |
| wenzelm@44167 | 22 |
^src/Tools/jEdit/dist/ |