git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
229331c
help
sign in
history of
src/Util/ScreenSize.hs
all commits
3ccb494
Remove the empty property 'copyright'.
Jan de Muijnck-Hughes
9 years ago
0896073
Added documentation for modules.
Jan de Muijnck-Hughes
10 years ago
4814fe9
Simplify getScreenWidth
Melvar Chen
11 years ago
b64f0fd
Remove curses dependency
Niklas Larsson
11 years ago
67610bb
Don't check terminal size if we're not connected to one
Echo Nolan
11 years ago
3542d0a
Remove stray Debug.Trace
Echo Nolan
11 years ago
5fb7ff3
Add export list to TT
Niklas Larsson
11 years ago
4257d64
Automatically detect console width
David Raymond Christiansen
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