From 5daf7eb41c74971f70bfd4b13dffdf7640ce0daf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Legat?= <benoit.legat@gmail.com>
Date: Tue, 23 Apr 2024 15:06:24 +0200
Subject: [PATCH] Add missing ignore for paper

---
 paper/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/paper/.gitignore b/paper/.gitignore
index 10f7fc7b..1b878e7f 100644
--- a/paper/.gitignore
+++ b/paper/.gitignore
@@ -6,3 +6,4 @@
 *.log
 *.out
 *.pdf
+*.synctex.gz