diff options
| author | Marvin Borner | 2021-05-26 22:03:39 +0200 |
|---|---|---|
| committer | Marvin Borner | 2021-05-26 22:03:39 +0200 |
| commit | ac791528a092f3c2edf73250ba4341b62015aa85 (patch) | |
| tree | 416221bf6a672a1289a16a0f8b0486748da07305 /zeitung/.gitignore | |
| parent | 1f31023a1c8bf0c21b836e8d7435ce07858d9cf7 (diff) | |
ok
Diffstat (limited to 'zeitung/.gitignore')
| -rw-r--r-- | zeitung/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/zeitung/.gitignore b/zeitung/.gitignore index f0d42f5..1340407 100644 --- a/zeitung/.gitignore +++ b/zeitung/.gitignore @@ -1,6 +1,7 @@ build/ *.log *.pdf +*.tmp svg-inkscape/ parts/generated/**/*.tex parts/generated/students/figures/ |