gitignore/Idris.gitignore at main · github/gitignore · GitHub
Skip to content

Latest commit

 

History

History
7 lines (6 loc) · 43 Bytes

File metadata and controls

7 lines (6 loc) · 43 Bytes