diff options
| author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-12 16:02:18 +0200 |
|---|---|---|
| committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-12 16:02:18 +0200 |
| commit | 6ff3195cfee6eeeedd730a3b18473eb2f88efc23 (patch) | |
| tree | 703e5a95f6d5eec30809d938c47344260fe095a1 /.gitignore | |
| parent | 603db3fe74db94ded146b22e9303dd8c064df494 (diff) | |
| parent | 79e58533af8bf585d79f8d0b5ca675ff66712b80 (diff) | |
Merge remote-tracking branch 'origin/master' into jaro/project-plan
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -25,6 +25,7 @@ *.d *.nav *.snm +*-SAVE-ERROR # output files *.pdf |