]> source.dussan.org Git - gitignore.git/commitdiff
projects / gitignore.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cdfef4a fef9e2d)
Merge pull request #973 from CodeBlock/idris
authorCarl Suster <carl@contraflo.ws>
Fri, 28 Feb 2014 03:02:44 +0000 (14:02 +1100)
committerCarl Suster <carl@contraflo.ws>
Fri, 28 Feb 2014 03:02:44 +0000 (14:02 +1100)
Add an Idris template


Trivial merge
A collection of useful .gitignore templates: https://github.com/github/gitignore