]> source.dussan.org Git - gitignore.git/commitdiff
projects / gitignore.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2544a6b)
Add an Idris gitignore 973/head
authorRicky Elrod <ricky@elrod.me>
Mon, 24 Feb 2014 08:07:24 +0000 (03:07 -0500)
committerRicky Elrod <ricky@elrod.me>
Fri, 28 Feb 2014 02:51:51 +0000 (21:51 -0500)
Idris.gitignore [new file with mode: 0644] patch | blob

diff --git a/Idris.gitignore b/Idris.gitignore
new file mode 100644 (file)
index 0000000..c28bc7c
--- /dev/null
+++ b/Idris.gitignore
@@ -0,0 +1,2 @@
+*.ibc
+*.o
A collection of useful .gitignore templates: https://github.com/github/gitignore