idris2-ratio/.gitignore

6 lines
23 B
Plaintext
Raw Permalink Normal View History

2022-09-02 21:59:06 -04:00
*.ibc
*.o
build/
*.*~