Merge pull request #973 from CodeBlock/idris
Add an Idris template
Description
Description
Details
Details
- Committed
Carl Suster <carl@contraflo.ws> Feb 28 2014, 04:02 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNOREfef9e2d85d14: Add an Idris gitignore
rGITIGNOREcdfef4a8e13a: Merge pull request #970 from wzhishen/master - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| fef9e2d85d14 | Ricky Elrod | Add an Idris gitignore | Feb 28 2014 |