Homec4science

Add an Idris gitignore

Authored by Ricky Elrod <ricky@elrod.me> on Feb 24 2014, 09:07.

Description

Add an Idris gitignore

Details

Committed
Ricky Elrod <ricky@elrod.me>Feb 28 2014, 03:51
Pushed
aubortJul 2 2018, 16:12
Parents
rGITIGNORE2544a6b71027: Merge pull request #954 from krtek/patch-1
Branches
Unknown
Tags
Unknown

Event Timeline

Ricky Elrod <ricky@elrod.me> committed rGITIGNOREfef9e2d85d14: Add an Idris gitignore (authored by Ricky Elrod <ricky@elrod.me>).Feb 28 2014, 03:51