gitignore/Idris.gitignore

3 lines
10 B
Plaintext
Raw Normal View History