Merge branch 'patch-1' of https://github.com/JakobBruenker/Idris-dev into JakobBruenker-patch-1
commit1f7d1f2f9286ebf53dadfe83d8af51f655330e8b
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 11 Feb 2015, 21:40 (12 years ago)
parentc6771d2b13b6da
CONTRIBUTORS+1
@@ -37,3 +37,4 @@ Daniel Waterworth
3737Jonas Westerlund
3838Alyssa Carter
3939Alexander Shabalin
40+Jakob Brünker