Idris.gitignore 10 Bytes
Newer Older
1 2
*.ibc
*.o