From ee77895806edc34b7937b5caba24f2eec7426d88 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Sat, 4 Apr 2020 13:29:30 -0700
Subject: Try to get tags working reliably

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index e2a9c20..3a189fa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 result*
 _bild
 TAGS
+tags
 .tex
 .pdf
 _keep
-- 
cgit v1.2.3