aboutsummaryrefslogtreecommitdiff
path: root/lib/basic.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add half-screen down/up scrollingMarc Coquand2024-05-301-1/+0
* Replace ugly conversionMarc Coquand2024-05-201-0/+3