David Rotermund
49fe13eb4a
Some checks are pending
Integration tests for the release process / release-simulation (push) Waiting to run
7 lines
43 B
Text
7 lines
43 B
Text
# Idris 2
|
|
*.ttc
|
|
*.ttm
|
|
|
|
# Idris 1
|
|
*.ibc
|
|
*.o
|