From a92d2f2a96c36e758291d7150b4ff175ec2ec768 Mon Sep 17 00:00:00 2001
From: funemy
Date: Tue, 25 Oct 2022 16:10:58 -0700
Subject: minor

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

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

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