gitignore/Idris.gitignore

3 lines
10 B
Plaintext
Raw Permalink Normal View History

2014-02-24 09:07:24 +01:00
*.ibc
*.o