author | wenzelm |
Sun, 19 Jun 2016 22:51:42 +0200 | |
changeset 63316 | dff40165618c |
parent 63191 | c3896c385c3e |
child 63864 | 159882dbb339 |
permissions | -rw-r--r-- |
28909 | 1 |
syntax: glob |
2 |
||
3 |
*~ |
|
28911 | 4 |
*.class |
5 |
*.jar |
|
56419 | 6 |
*.marks |
48808
28f1d184c093
ignore some administrative files on newer Mercurial versions as well;
wenzelm
parents:
43287
diff
changeset
|
7 |
*.orig |
28f1d184c093
ignore some administrative files on newer Mercurial versions as well;
wenzelm
parents:
43287
diff
changeset
|
8 |
*.rej |
28909 | 9 |
.DS_Store |
54560 | 10 |
.swp |
28909 | 11 |
|
12 |
||
13 |
syntax: regexp |
|
14 |
||
31669 | 15 |
^contrib |
28909 | 16 |
^heaps/ |
17 |
^browser_info/ |
|
48973
fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;
wenzelm
parents:
48808
diff
changeset
|
18 |
^doc/.*\.dvi |
fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;
wenzelm
parents:
48808
diff
changeset
|
19 |
^doc/.*\.eps |
fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;
wenzelm
parents:
48808
diff
changeset
|
20 |
^doc/.*\.pdf |
fcd21f714996
updated .hgignore to reflect to (almost) clean result of build_doc;
wenzelm
parents:
48808
diff
changeset
|
21 |
^doc/.*\.ps |
43287 | 22 |
^src/Tools/jEdit/dist/ |
63191
c3896c385c3e
ignore Maven build products
Lars Hupel <lars.hupel@mytum.de>
parents:
56419
diff
changeset
|
23 |
^Admin/jenkins/ci-extras/target/ |