Add an Idris gitignore
Description
Description
Details
Details
- Committed
Ricky Elrod <ricky@elrod.me> Feb 28 2014, 03:51 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNORE2544a6b71027: Merge pull request #954 from krtek/patch-1
- Branches
- Unknown
- Tags
Add an Idris gitignore
Add an Idris gitignore
Authored by Ricky Elrod <ricky@elrod.me> on Feb 24 2014, 09:07.
Tags
None
Subscribers
None