git.iko.soy/Idris-dev
on master help sign in
Merge branch 'patch-1' of https://github.com/JakobBruenker/Idris-dev into JakobBruenker-patch-1
1f7d1f2David Raymond Christiansen
CONTRIBUTORS+1
compare with master
unifiedsplit
@@ -37,3 +37,4 @@ Daniel Waterworth
37Jonas Westerlund
37Jonas Westerlund
38Alyssa Carter
38Alyssa Carter
39Alexander Shabalin
39Alexander Shabalin
40+Jakob Brünker