diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-27 18:19:48 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-27 18:19:48 +0100 |
| commit | 3adbaf460ffb2531b05a55a6f38ba1654a8058c3 (patch) | |
| tree | da90a89911799bb22d77f475c43b237422e00564 /.gitignore | |
| parent | 95c158d74989e13bade4c58ceb99d84e89f22159 (diff) | |
| download | oopsla21_fvhls-3adbaf460ffb2531b05a55a6f38ba1654a8058c3.tar.gz oopsla21_fvhls-3adbaf460ffb2531b05a55a6f38ba1654a8058c3.zip | |
Add more to .gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -24,6 +24,10 @@ *.cut *.brf *.rip +*.fls +*.pdf +*.fdb_latexmk .auctex*/ auto/ +_minted*/ |