git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
008fb1f
help
sign in
history of
test/README.md
all commits
3285d36
Remove irreleveant line from test README
Bartosz Przygoda
10 years ago
f851e54
Fix error message for unsuccessful namespace disambiguation
Bartosz Przygoda
10 years ago
48ae753
Document the new test infrastructure
gpyh
10 years ago
ff7ea9d
Add missing test families in test/README.md
gpyh
10 years ago
f43e36e
Testing Adjustments for Quicker Regression Tests.
Jan de Muijnck-Hughes
10 years ago
93574f0
Updating the README.
Jan de Muijnck-Hughes
10 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