git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2583 from GuglielmoS/update_contrib
dbe3887David Christiansen
CONTRIBUTORS+1
compare with master
unifiedsplit
@@ -12,6 +12,7 @@ Alyssa Carter
12David Raymond Christiansen
12David Raymond Christiansen
13Carter Charbonneau
13Carter Charbonneau
14Jason Dagit
14Jason Dagit
15+Guglielmo Fachini
15Simon Fowler
16Simon Fowler
16Google
17Google
17Cezar Ionescu
18Cezar Ionescu