git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b36dfcd
help
sign in
Idris-dev
/
test
59 folders, 4 files
../
reg001/
Reset test runscripts to mode 0755
13 years ago
reg002/
Reset test runscripts to mode 0755
13 years ago
reg003/
Reset test runscripts to mode 0755
13 years ago
reg004/
Reset test runscripts to mode 0755
13 years ago
reg005/
Reset test runscripts to mode 0755
13 years ago
reg006/
Reset test runscripts to mode 0755
13 years ago
reg007/
Reset test runscripts to mode 0755
13 years ago
reg008/
Reset test runscripts to mode 0755
13 years ago
reg009/
Reset test runscripts to mode 0755
13 years ago
reg010/
Reset test runscripts to mode 0755
13 years ago
reg011/
Reset test runscripts to mode 0755
13 years ago
reg012/
Reset test runscripts to mode 0755
13 years ago
reg013/
Reset test runscripts to mode 0755
13 years ago
reg014/
Reset test runscripts to mode 0755
13 years ago
reg015/
Reset test runscripts to mode 0755
13 years ago
reg016/
Reset test runscripts to mode 0755
13 years ago
reg017/
Reset test runscripts to mode 0755
13 years ago
reg018/
Reset test runscripts to mode 0755
13 years ago
reg019/
Reset test runscripts to mode 0755
13 years ago
reg020/
Reset test runscripts to mode 0755
13 years ago
reg021/
Reset test runscripts to mode 0755
13 years ago
reg022/
Reset test runscripts to mode 0755
13 years ago
reg023/
Reset test runscripts to mode 0755
13 years ago
reg024/
Reset test runscripts to mode 0755
13 years ago
reg025/
Reset test runscripts to mode 0755
13 years ago
reg026/
Reset test runscripts to mode 0755
13 years ago
test001/
Reset test runscripts to mode 0755
13 years ago
test002/
Reset test runscripts to mode 0755
13 years ago
test003/
Reset test runscripts to mode 0755
13 years ago
test004/
Reset test runscripts to mode 0755
13 years ago
test005/
Reset test runscripts to mode 0755
13 years ago
test006/
Reset test runscripts to mode 0755
13 years ago
test007/
Reset test runscripts to mode 0755
13 years ago
test008/
Reset test runscripts to mode 0755
13 years ago
test009/
Reset test runscripts to mode 0755
13 years ago
test010/
Reset test runscripts to mode 0755
13 years ago
test011/
Reset test runscripts to mode 0755
13 years ago
test012/
Reset test runscripts to mode 0755
13 years ago
test013/
Reset test runscripts to mode 0755
13 years ago
test014/
Reset test runscripts to mode 0755
13 years ago
test015/
Reset test runscripts to mode 0755
13 years ago
test016/
Reset test runscripts to mode 0755
13 years ago
test017/
Reset test runscripts to mode 0755
13 years ago
test018/
Reset test runscripts to mode 0755
13 years ago
test019/
Reset test runscripts to mode 0755
13 years ago
test020/
Reset test runscripts to mode 0755
13 years ago
test021/
Reset test runscripts to mode 0755
13 years ago
test022/
Reset test runscripts to mode 0755
13 years ago
test023/
Reset test runscripts to mode 0755
13 years ago
test024/
Reset test runscripts to mode 0755
13 years ago
test025/
Reset test runscripts to mode 0755
13 years ago
test026/
Reset test runscripts to mode 0755
13 years ago
test027/
Reset test runscripts to mode 0755
13 years ago
test028/
Reset test runscripts to mode 0755
13 years ago
test029/
Reset test runscripts to mode 0755
13 years ago
test030/
Reset test runscripts to mode 0755
13 years ago
test031/
Reset test runscripts to mode 0755
13 years ago
test032/
Reset test runscripts to mode 0755
13 years ago
test033/
Reset test runscripts to mode 0755
13 years ago
Makefile
Change from shebangs with absolute references to using /usr/bin/env
13 years ago
README
Add test documentation
13 years ago
mktest.pl
Change from shebangs with absolute references to using /usr/bin/env
13 years ago
runtest.pl
Change from shebangs with absolute references to using /usr/bin/env
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