From 9fdefdf4ad22591ca74790e786e3d05a5fc304bc Mon Sep 17 00:00:00 2001 From: Rob Date: Wed, 1 May 2019 22:35:39 +0200 Subject: [PATCH] ignore --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index dd9be17..cd9dc65 100644 --- a/.gitignore +++ b/.gitignore @@ -8,6 +8,9 @@ *.fls *.out *.toc +*.gz + +*.pdf ## Intermediate documents: *.dvi