From 679ee8faf561b6e53f582edef2d93b65615bcea7 Mon Sep 17 00:00:00 2001
From: funemy
Date: Sun, 23 Oct 2022 16:14:40 -0700
Subject: z3 fib impl

---
 entries/funemy/.gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'entries/funemy/.gitignore')

diff --git a/entries/funemy/.gitignore b/entries/funemy/.gitignore
index 171a389..acb903a 100644
--- a/entries/funemy/.gitignore
+++ b/entries/funemy/.gitignore
@@ -1 +1,3 @@
+.DS_Store
 *.agdai
+*.smt2
-- 
cgit v1.2.3-70-g09d2