idris2-render/.gitignore
2022-11-29 13:46:09 -05:00

7 lines
37 B
Text

*.ibc
*.o
build/
*.*~
**/.DS_Store