1
0
mirror of https://github.com/github/gitignore synced 2025-01-08 12:44:40 +01:00

1 Commits

Author SHA1 Message Date
Ricky Elrod
3a4427deec Add an Idris gitignore 2014-02-24 03:07:24 -05:00