From 4c55d7cc4b8afda96a769c5433a9e54845a0e68b Mon Sep 17 00:00:00 2001
From: Kamil Shakirov <kamils80@gmail.com>
Date: Mon, 15 Mar 2021 14:32:59 +0600
Subject: [PATCH] Update .gitignore for Idris 2

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

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