equal
deleted
inserted
replaced
33 ^doc-src/.*\.toc |
33 ^doc-src/.*\.toc |
34 |
34 |
35 ^doc/.* |
35 ^doc/.* |
36 ^doc-src/isac/bib* |
36 ^doc-src/isac/bib* |
37 ^doc-src/isac/mlehnfeld/fig |
37 ^doc-src/isac/mlehnfeld/fig |
|
38 ^doc-src/isac/msteger/fig |
38 |
39 |
39 ^src/Tools/jEdit/nbproject/build-impl.xml |
40 ^src/Tools/jEdit/nbproject/build-impl.xml |
40 ^src/Tools/jEdit/nbproject/private/ |
41 ^src/Tools/jEdit/nbproject/private/ |
41 ^src/Tools/jEdit/build/ |
42 ^src/Tools/jEdit/build/ |
42 ^src/Tools/jEdit/dist/ |
43 ^src/Tools/jEdit/dist/ |