diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/.gitignore b/.gitignore index efee90555..de1eb0469 100644 --- a/.gitignore +++ b/.gitignore @@ -13,15 +13,11 @@ *.gcno *.gcov *.gcda -# latex stuff -*.aux -*.dvi -*.blg -*.bbl -*.log # Autotools stuff .deps .dirstamp +*.trs +*.log # Stuff made by our makefiles *.bak # Python droppings |