aboutsummaryrefslogtreecommitdiffstats
path: root/options/gitignore/Idris
blob: 0f4e72c71c3010a753cd798ac4fdbf5bc5f2d7f0 (plain)
1
2
3
4
5
6
7
# Idris 2
*.ttc
*.ttm

# Idris 1
*.ibc
*.o