gitignore/Idris.gitignore at b8c64dc71f46f4b3d7b1fa3b90ec4b83d3140e70 - gitignore - gitlab.pm - a private repo

rune/gitignore

Files

Ricky Elrod fef9e2d85d Add an Idris gitignore

2014-02-27 21:51:51 -05:00

3 lines

10 B

Plaintext

Raw Blame History

	`*.ibc`
	`*.o`