diff options
| author | Jaro <jarorutjes07@gmail.com> | 2024-09-05 15:31:27 +0200 |
|---|---|---|
| committer | Jaro <jarorutjes07@gmail.com> | 2024-09-05 15:31:27 +0200 |
| commit | 9629228f27b9585a83053f028952945f156cefbc (patch) | |
| tree | 28f7fff4ca54f8df07a9b606e5fd427659551dc3 /.gitignore | |
| parent | 441e03b613064552d8ab11a6a7eacf6d66d5b999 (diff) | |
| parent | c129df28338644c43b0a202ff71e1ff61107e765 (diff) | |
Merge branch 'master' of github.com:lonkaars/crepe-docs into jaro/project-plan
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -31,3 +31,5 @@ !img/*.pdf img/*.puml.pdf +# generated files +time.tex |