many/gitignore
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
gitignore/Idris.gitignore
Kamil Shakirov 4c55d7cc4b Update .gitignore for Idris 2
2021-03-15 14:32:59 +06:00

7 lines
43 B
Text
Raw Blame History

# Idris 2
*.ttc
*.ttm
# Idris 1
*.ibc
*.o
Reference in a new issue View git blame Copy permalink