aboutsummaryrefslogtreecommitdiffstats
path: root/options/gitignore/Idris
blob: c28bc7cc675f54a316a8944d22674529b9d21210 (plain)
1
2
*.ibc
*.o