Commit fef9e2d

committed

Feb 28, 2014

Add an Idris gitignore

master(github/gitignore#973)

1 parent 2544a6b commit fef9e2dCopy full SHA for fef9e2d

1 file changed

+2

-0

lines changed

Idris.gitignore

1 file changed

+2

-0

lines changed

`‎Idris.gitignore`

+2

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+*.ibc`
	`2`	`+*.o`

Comments

(0)

Please sign in to comment.