From 8a1b51683d4ad09a8123403ab30d7cc621080680 Mon Sep 17 00:00:00 2001 From: fruitstaa Date: Sun, 11 Nov 2018 16:36:04 +0100 Subject: [PATCH] last git ignore push --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 28125fb..0ca3f46 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ build/ *.log -*.syctex.gz +*.synctex.gz +*.aux