From 8a2e750b77b5d35c7eb7a96c647b7e5e1fec943a Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 25 May 2022 15:07:28 +0200 Subject: [PATCH] ignore xmpi file as well --- .gitignore | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index 85c25e9..d0af28a 100644 --- a/.gitignore +++ b/.gitignore @@ -21,16 +21,17 @@ *.log *.lol *.lot +*.mw *.nav *.out *.snm *.sta +*.synctex* *.tdo *.tmb *.toc *.vrb -*.mw -*.synctex* +*.xmpi # documents *.dvi -- 2.20.1