rune/gitignore
1
0
Fork 0
Code Pull Requests Activity
Files
e89e04390435f1e7628740d7b4ce1fe65ac218fd
gitignore/Idris.gitignore
Kamil Shakirov 4c55d7cc4b Update .gitignore for Idris 2
2021-03-15 14:32:59 +06:00

43 B
Raw Blame History

View Raw
View Git Blame Copy Permalink