git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
40481dc
help
sign in
history of
README.md
all commits
1dfc53c
Add ReadTheDocs badge to README
David Raymond Christiansen
12 years ago
aef8dc1
Improve the README: Contributing link, spelling, wrap lines
Jon Atack
12 years ago
09038de
Little text about CI flag
Norbert Melzer
12 years ago
f6459a2
Updates to README.md
Jan de Muijnck-Hughes
12 years ago
a85d407
Fix a few typos in the README
Jon Atack
12 years ago
df4cd71
Merge branch 'update-readme' of https://github.com/markuspf/Idris-dev into markuspf-update-readme
Edwin Brady
12 years ago
e73acf2
Added file extension to README file for better rendering.
Jan de Muijnck-Hughes
12 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