mirror of
https://github.com/bdnugget/gitignore.git
synced 2026-11-07 03:07:27 +00:00
8 lines
43 B
Plaintext
8 lines
43 B
Plaintext
# Idris 2
|
|
*.ttc
|
|
*.ttm
|
|
|
|
# Idris 1
|
|
*.ibc
|
|
*.o
|