From d9de2eb14ce5f35961cae96beb19492bb6443994 Mon Sep 17 00:00:00 2001 From: Arne Keller Date: Thu, 4 Apr 2019 16:33:36 +0200 Subject: [PATCH] Update gitignore --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitignore b/.gitignore index ac49798..6dd4460 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,6 @@ /target **/*.rs.bk *.svg +*.pdf +*.toc +*.aux