git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
d66da21
help
sign in
history of
CONTRIBUTORS
all commits
8a74649
Add ECA to contributors
Edward Amsden
13 years ago
e2c0e02
Added myself to contributors
Ahmad Salim Al-Sibahi
13 years ago
cd462c9
add myself to CONTRIBUTORS
Reynir Reynisson
13 years ago
55dbed5
Update CONTRIBUTORS and CHANGELOG
Edwin Brady
13 years ago
2297270
unify help and completion of REPL - previously they were not in sync, now it is one lookup table
Hannes Mehnert
14 years ago
11f687e
Add myself to CONTRIBUTORS
David Christiansen
14 years ago
83e4758
Added CONTRIBUTORS file. Feel free to edit :).
Edwin Brady
14 years ago
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