git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
master
help
sign in
Added CONTRIBUTORS file. Feel free to edit :).
83e4758
Edwin Brady
14 years ago
CONTRIBUTORS
new file
+23
compare with master
unified
split
@@ -0,0 +1,23 @@
1
+
Thanks to the following for their help and contributions:
2
+
3
+
Ozgur Akgun
4
+
Nicola Botta
5
+
Edwin Brady
6
+
Jason Dagit
7
+
Cezar Ionescu
8
+
Irene Knapp
9
+
Mathnerd314
10
+
Mekeor Melire
11
+
Melissa Mozifian
12
+
Dominic Mulligan
13
+
raichoo
14
+
Tom Prince
15
+
Seo Sanghyeon
16
+
Benjamin Saunders
17
+
startling
18
+
Chetan T
19
+
Dirk Ullrich
20
+
Leif Warner
21
+
Daniel Waterworth
22
+
Jonas Westerlund
23
+
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list