From e54a0d29eb1d9721df33722729bf7dbbfcffcf9d Mon Sep 17 00:00:00 2001
From: SantriptaSharma <santripta@gmail.com>
Date: Mon, 23 Oct 2023 14:37:40 +0530
Subject: [PATCH] update .gitignore

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 5563f89..3edc01a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,6 +19,8 @@ counterexamples
 *.synctex*
 *.zip
 
+*.tar
+
 # redundant files
 *_old.*