From 9782ef6d57406b41f1ba5e555e7d0b896431a701 Mon Sep 17 00:00:00 2001
From: Eric Giovannini <ecg19@seas.upenn.edu>
Date: Tue, 21 Mar 2023 14:44:25 -0400
Subject: [PATCH] Update gitignore

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

diff --git a/.gitignore b/.gitignore
index e942cb5..461fcaa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,8 @@
 *.log
 /gtlc.pdf
 *.agdai
+*.fls
+*.fdb_latexmk
+*.synctex.gz
+*.out
+*.agda~
-- 
GitLab