From: Kamil Shakirov <kamils80@gmail.com>
Date: Mon, 15 Mar 2021 08:32:59 +0000 (+0600)
Subject: Update .gitignore for Idris 2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=refs%2Fpull%2F3679%2Fhead;p=gitignore.git

Update .gitignore for Idris 2
---

diff --git a/Idris.gitignore b/Idris.gitignore
index c28bc7cc..0f4e72c7 100644
--- a/Idris.gitignore
+++ b/Idris.gitignore
@@ -1,2 +1,7 @@
+# Idris 2
+*.ttc
+*.ttm
+
+# Idris 1
 *.ibc
 *.o