diff options
| author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-06 11:34:16 +0200 |
|---|---|---|
| committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-06 11:34:16 +0200 |
| commit | b6aec9666b51964de4b01b3f07abf982ea30e9f8 (patch) | |
| tree | 737a295ce367c65a678ff15e540cb9968bb33d2c /.gitignore | |
| parent | 0df42b1e35603dc127be488e9d79b29d0631df4d (diff) | |
| parent | de93554c562eb4137dd8a3bb6c057f8043990c19 (diff) | |
Merge remote-tracking branch 'origin/master' into max/time
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -25,9 +25,12 @@ *.d *.nav *.snm +*-SAVE-ERROR # output files *.pdf !img/*.pdf img/*.puml.pdf +# generated files +time.tex |