This website requires JavaScript.
Explore
Help
Sign In
OPENGIT
/
gitignore
Watch
1
Star
0
Fork
0
You've already forked gitignore
mirror of
https://github.com/github/gitignore.git
synced
2024-12-29 02:35:08 +08:00
Code
Issues
Actions
Packages
Projects
Releases
Wiki
Activity
76512d9b96
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