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