Merge branch 'master' of github.com:idris-lang/Idris-dev
commit28209459c2fe90bb79508210a05f918133fbce10
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 20 Apr 2014, 21:28 (13 years ago)
parent85ff9c287c172c
CONTRIBUTORS+1−2
@@ -25,9 +25,8 @@ Seo Sanghyeon
2525Benjamin Saunders
2626startling
2727Chetan T
28−Matus Tejiscak
28+Matúš Tejiščák
2929Dirk Ullrich
3030Leif Warner
3131Daniel Waterworth
3232Jonas Westerlund
33−