diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-07-12 18:19:17 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-07-12 18:19:17 +0200 |
commit | 895e24872de95acf255e0746b42f0661697e7f9a (patch) | |
tree | b2aadbb712549f7aa9caf8679036e9f1535a4f2c /doc/system/.gitignore | |
parent | 4d298f9bea8a98acc5d4b7d738af02313b203658 (diff) |
initial import of thesis-dold
Diffstat (limited to 'doc/system/.gitignore')
-rw-r--r-- | doc/system/.gitignore | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/doc/system/.gitignore b/doc/system/.gitignore new file mode 100644 index 000000000..3156fa055 --- /dev/null +++ b/doc/system/.gitignore @@ -0,0 +1,24 @@ +thesis.pdf +thesis-*.pdf +thesis.out +summary/summary-english.pdf +*-converted-to.pdf +*.log +*.toc +*.run.xml +*.ind +*.ilg +*.fls +*.fdb_latexmk +*.aux +*.idx +*.bbl +*.bcf +*.blg +*.lof +*.maf +*.mt* + +bench/results/ +bench/plots/ +bench/stats |