aboutsummaryrefslogtreecommitdiff
path: root/lib/input_prompt.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Prompt: Fix visualMarc Coquand2024-05-181-5/+11
|
* Rename screen -> PromptMarc Coquand2024-05-151-0/+38