git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
cdff1db
help
sign in
history of
test/idrisdoc007/run
all commits
e202cfd
Made test resistant to differences among command implementations
Philip Rasmussen
13 years ago
ab6de0e
Changed test implementation
Philip Rasmussen
13 years ago
079856c
Removed test backups and converted tests to pure bash scripts
Philip Rasmussen
13 years ago
6f08060
Added IdrisDoc tests
Philip Rasmussen
13 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