1 Commits (679f51c6c98550dbe1dced02f82b9386cc45c9de)

Author SHA1 Message Date
  Ricky Elrod fef9e2d85d Add an Idris gitignore 10 years ago