From fef9e2d85d14b379f5d144451cf1d447cfdd46de Mon Sep 17 00:00:00 2001
From: Ricky Elrod <ricky@elrod.me>
Date: Mon, 24 Feb 2014 03:07:24 -0500
Subject: [PATCH] Add an Idris gitignore

---
 Idris.gitignore | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 Idris.gitignore

diff --git a/Idris.gitignore b/Idris.gitignore
new file mode 100644
index 00000000..c28bc7cc
--- /dev/null
+++ b/Idris.gitignore
@@ -0,0 +1,2 @@
+*.ibc
+*.o
-- 
2.39.5