aboutsummaryrefslogtreecommitdiff
path: root/lib/input_prompt.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-18 10:03:40 -0500
committerMarc Coquand <marc@mccd.space>2024-05-18 10:03:40 -0500
commitd72a2fe44012000c0a9398fa290642ccb834a77e (patch)
tree7595285dcc16e530cd7311aaa2d4079e7fbcf00f /lib/input_prompt.ml
parent2344fd375cf8b3cf0efba8177d3794523fae9a80 (diff)
downloadstitch-1219ff901ec978f9199be71323820c4604244de8.tar.gz
stitch-1219ff901ec978f9199be71323820c4604244de8.tar.bz2
stitch-1219ff901ec978f9199be71323820c4604244de8.zip
Fix infov0.0.2
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions