1 Commits (6651bca9c83572f908474fc6206ed8a80df91290)

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