github/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-04-02 17:57:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
b4105e73e493bb7a20b5d7ea35efd5780ca44938
gitignore/Idris.gitignore
Kamil Shakirov 4c55d7cc4b Update .gitignore for Idris 2
2021-03-15 14:32:59 +06:00

8 lines
43 B
Plaintext
Raw Blame History

Reference in New Issue View Git Blame Copy Permalink