From ca2f82154fbc0ac2261e838dc4c6a4a03b7051bd Mon Sep 17 00:00:00 2001
From: Jack Feser <feser@mit.edu>
Date: Mon, 4 Apr 2022 21:52:39 -0400
Subject: [PATCH] update .gitignore

---
 .gitignore | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 13cbfc9..e78e2a4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,2 @@
-.merlin
 _build/
-*.install
\ No newline at end of file
+todo.org
\ No newline at end of file