BigW Consortium Gitlab

Idris.gitignore 10 Bytes
*.ibc
*.o