From a073821cf7ba0714a30e892af40bd309cd5f2f03 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 16 Jun 2018 20:55:39 -0400
Subject: Update .gitignore with *.pyc for various helper scripts

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index d2d6c5daf..6a4c1a785 100644
--- a/.gitignore
+++ b/.gitignore
@@ -14,6 +14,9 @@ auto-save-list
 tramp
 .\#*
 
+# misc
+*.pyc
+
 # coq
 *.aux
 *.d
-- 
cgit v1.2.3