git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
cd87fcd
help
sign in
Idris-dev
/
test
/
basic011
/
expected
14 lines
204 B
history
raw
1
6EA049D797FA18D6
2
6EA049D797FA18D6
3
FDA01C93B78A192F
4
AD85270E93646134
5
6EA049D797FA18D6
6
6EA049D797FA18D6
7
6EA049D797FA18D6
8
6EA049D797FA18D6
9
6EA049D797FA18D6
10
6EA049D797FA18D6
11
00
12
0000
13
00000000
14
0000000000000000
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