Commit fdc303b

committed

Merge pull request #973 from CodeBlock/idris

Add an Idris template

2 parents cdfef4a + fef9e2d commit fdc303bCopy full SHA for fdc303b

1 file changed

+2

-0

lines changed

Idris.gitignore

1 file changed

+2

-0

lines changed

`‎Idris.gitignore‎`

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

Comments

(0)