Erweitert das gitignore file um .gz Dateien

2017-05-06 17:33:20 +02:00 · 2017-05-06 17:33:20 +02:00 · e77b0eda12
parent 552b4565b0
commit e77b0eda12
1 changed files with 2 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -52,4 +52,5 @@ auto/
 *.lot
 *.out
 *.pdf
-*.toc
+*.toc
+*.gz