git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
751fb32
help
sign in
Idris-dev
/
test
/
pkg001
4 files
../
Main.idr
Fixed mistake and added test
11 years ago
expected
Allow certain CLI options to work when using iPKG files.
11 years ago
run
Allow certain CLI options to work when using iPKG files.
11 years ago
test.ipkg
Make the pkg tests take the same display options as the other tests.
11 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