diff options
author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-12 16:10:09 +0200 |
---|---|---|
committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-12 16:10:09 +0200 |
commit | eab8e502f173d3efb22f48da1c64cb4428905103 (patch) | |
tree | 7dffdcaa3e1fd73f7a5503f0e3835bbb87af260f /.gitignore | |
parent | 57b1d29670d4b8dbe1b3b00cad6f74a172a4d30b (diff) | |
parent | 6ff3195cfee6eeeedd730a3b18473eb2f88efc23 (diff) |
Merge remote-tracking branch 'origin/jaro/project-plan' into max/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 |