itdoxy-lab/conf/gitignore/Idris

3 lines
10 B
Plaintext
Raw Normal View History

*.ibc
*.o