diff options
| author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-10-31 16:52:39 +0100 |
|---|---|---|
| committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-10-31 16:52:39 +0100 |
| commit | 89833faa993660350e0266ddea52707613d1ba4e (patch) | |
| tree | dcdc3a63fd1f578a828eb2e3e6fd94c6b839e229 /.gitignore | |
| parent | 04e2060b7f17aae1467ef91b0d292d1398231119 (diff) | |
| parent | 4b12d1f1e6dbded47637ef8e2550741882d59329 (diff) | |
Merge remote-tracking branch 'origin/master' into max/time
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -26,6 +26,7 @@ *.nav *.snm *-SAVE-ERROR +*.bkp # output files *.pdf |