From e1ee59f6a45482e93901f6a549f594fd6ef15234 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko
Date: Wed, 25 Jan 2023 13:12:01 -0800
Subject: New directory structure and corresponding extraction, + misc fixes,
 for Lean

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index d0a4be47..e8b8b7a4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -67,3 +67,4 @@ nohup.out
 *.txt
 */.#*
 *.smt2
+.DS_Store
-- 
cgit v1.2.3