diff options
| author | Erin van der Veen | 2018-02-08 08:56:53 +0100 |
|---|---|---|
| committer | Erin van der Veen | 2018-02-08 08:56:53 +0100 |
| commit | b66c0a3e93d2b6f4b1643700af7b246c5e1436c3 (patch) | |
| tree | d6bd0563cfaed57cb33aae0f1a48c4c3e9ffb765 /.gitignore | |
| parent | Add example programs; Main.hs using stdin (diff) | |
Create files for report
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 36 |
1 files changed, 36 insertions, 0 deletions
@@ -1,3 +1,39 @@ +## Háskell ## dist/ *.hi *.o + +## LaTeX ## +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 + +## Intermediate documents: +*.dvi +*.xdv +*-converted-to.* +*.ps +*.eps +*.pdf + +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex(busy) +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync +*Notes.bib + +# minted +_minted* +*.pyg |