Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Add an Idris gitignore

  • Loading branch information...
commit fef9e2d85d14b379f5d144451cf1d447cfdd46de 1 parent 2544a6b
@relrod relrod authored
Showing with 2 additions and 0 deletions.
  1. +2 −0  Idris.gitignore
View
2  Idris.gitignore
@@ -0,0 +1,2 @@
+*.ibc
+*.o
Please sign in to comment.
Something went wrong with that request. Please try again.