]> source.dussan.org Git - gitignore.git/commit
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)
commitfdc303bb722f589fc4bb8c8a70401b1e71555d65
tree9d67d15f822801166c2bfcba4e6cfe5ffc96afb5
parentcdfef4a8e13a7da216e1e1dc8cba7f6f0f13cc69
parentfef9e2d85d14b379f5d144451cf1d447cfdd46de
Merge pull request #973 from CodeBlock/idris

Add an Idris template