diff options
| author | UnavailableDev <69792062+UnavailableDev@users.noreply.github.com> | 2023-05-20 22:08:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-20 22:08:08 +0200 |
| commit | ac1884bec264d08dc5cc58d1cda24e20734c9205 (patch) | |
| tree | 6c71a74d2b3d4af7d183b0823b15bba601a37bb5 /doc/.gitignore | |
| parent | 7a18524a8b97deaafcd93be14e56ce308fe4583c (diff) | |
| parent | ba026d8229744a01818d38552ec7271e689d19eb (diff) | |
Merge branch 'lonkaars:master' into master
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore new file mode 100644 index 0000000..25dcb3b --- /dev/null +++ b/doc/.gitignore @@ -0,0 +1,17 @@ +# latex files +*.aux +*.bbl +*.bcf +*.blg +*.fdb_latexmk +*.fls +*.log +*.out +*.run.xml +*.synctex.gz +*.toc +*.synctex(busy) +*.md.tex + +# ignore output files +*.pdf |