rune/gitignore
1
0
Fork 0
Code Pull Requests Activity
Files
ce5da10a3a43c4dd8bd9572eda17c0a37ee0eac1
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