idris2-render/.gitignore
2022-11-29 13:45:04 -05:00

8 lines
37 B
Plaintext

*.ibc
*.o
build/
*.*~
**/.ds-store