]> source.dussan.org Git - gitignore.git/commit
Add an Idris gitignore 973/head
authorRicky Elrod <ricky@elrod.me>
Mon, 24 Feb 2014 08:07:24 +0000 (03:07 -0500)
committerRicky Elrod <ricky@elrod.me>
Fri, 28 Feb 2014 02:51:51 +0000 (21:51 -0500)
commitfef9e2d85d14b379f5d144451cf1d447cfdd46de
treec5809246bdb0d56e8ab61c41d2418daf676bd927
parent2544a6b71027a1832e01f5c7f78bdfcea727f4ec
Add an Idris gitignore
Idris.gitignore [new file with mode: 0644]