idris2-render/.gitignore

6 lines
23 B
Plaintext
Raw Normal View History