1 Commit (dfce3fda4361c7cacdf4596562d7f5acff10998a)

Autore SHA1 Messaggio Data
  Ricky Elrod fef9e2d85d Add an Idris gitignore 10 anni fa