docs/gitignore
docs/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore synced 2024-11-30 07:34:22 +01:00
Code Issues Releases Wiki Activity
3,529 Commits 8 Branches 0 Tags 14 MiB
4c08c07f0b
Commit Graph

2 Commits

Author SHA1 Message Date
Kamil Shakirov
4c55d7cc4b Update .gitignore for Idris 2 2021-03-15 14:32:59 +06:00
Ricky Elrod
fef9e2d85d Add an Idris gitignore 2014-02-27 21:51:51 -05:00