This website requires JavaScript.
Explore
Help
Sign In
docs
/
gitignore
Watch
1
Star
0
Fork
0
You've already forked gitignore
mirror of
https://github.com/github/gitignore
synced
2024-11-22 19:54:22 +01:00
Code
Issues
Releases
Wiki
Activity
d0c43882ea
gitignore
/
Idris.gitignore
Ricky Elrod
fef9e2d85d
Add an Idris gitignore
2014-02-27 21:51:51 -05:00
3 lines
10 B
Plaintext
Raw
Blame
History
*.ibc
*.o
Reference in New Issue
View Git Blame
Copy Permalink