githaven/options/gitignore/Idris

3 lines
10 B
Plaintext
Raw Normal View History