From ed28fa65f627b4c4ae6f4157056c6052866f0c40 Mon Sep 17 00:00:00 2001
From: Eric Giovannini <ecg19@seas.upenn.edu>
Date: Wed, 29 Mar 2023 21:09:42 -0400
Subject: [PATCH] update gitignore

---
 .gitignore | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 461fcaa..8eb29ec 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,9 +1,22 @@
 *.aux
 *.log
 /gtlc.pdf
-*.agdai
+
 *.fls
 *.fdb_latexmk
 *.synctex.gz
 *.out
+
+*.toc
+*.nav
+*.snm
+*.bbl
+*.blg
+
+\#*
+.\#*
+*.agdai
 *.agda~
+
+
+
-- 
GitLab