aboutsummaryrefslogtreecommitdiff
path: root/lib/basic.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-30Add half-screen down/up scrollingMarc Coquand1-1/+0
2024-05-20Replace ugly conversionMarc Coquand1-0/+3