2 commits

Author	SHA1	Message	Date
Kamil Shakirov	4c55d7cc4b	Update .gitignore for Idris 2	2021-03-15 14:32:59 +06:00
Ricky Elrod	fef9e2d85d	Add an Idris gitignore	2014-02-27 21:51:51 -05:00