Skip to content

Files

Latest commit

4c55d7c · Mar 15, 2021

History

History
7 lines (6 loc) · 43 Bytes

Idris.gitignore

File metadata and controls

7 lines (6 loc) · 43 Bytes