From 3a4427deec1442f28da8e5f2c6b3ce1e2b290fe1 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 | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 Idris.gitignore

diff --git a/Idris.gitignore b/Idris.gitignore
new file mode 100644
index 00000000..8ae64a37
--- /dev/null
+++ b/Idris.gitignore
@@ -0,0 +1,7 @@
+*.ibc
+*.o
+cabal-dev
+.cabal-sandbox/
+cabal.sandbox.config
+cabal.config
+dist