rune/gitignore
1
0
Fork 0
Code Pull Requests Activity
gitignore/Idris.gitignore

3 lines
10 B
Plaintext
Raw Normal View History

Add an Idris gitignore
2014-02-24 03:07:24 -05:00
*.ibc
*.o
Copy Permalink