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-05 03:18:51 +01:00
Code
Issues
Releases
Wiki
Activity
72190ee30b
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