From 46bee50e45ef8f3e9f3727649fa24d50bb2fc782 Mon Sep 17 00:00:00 2001
From: Unknwon <u@gogs.io>
Date: Fri, 28 Aug 2015 16:44:04 +0800
Subject: complate list of gitignores and licenses

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

(limited to 'conf/gitignore/Idris')

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