1
0

Idris.gitignore 43 B

1234567
  1. # Idris 2
  2. *.ttc
  3. *.ttm
  4. # Idris 1
  5. *.ibc
  6. *.o