aboutsummaryrefslogtreecommitdiff
path: root/lib/basic.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/basic.ml
parent2344fd375cf8b3cf0efba8177d3794523fae9a80 (diff)
downloadstitch-d72a2fe44012000c0a9398fa290642ccb834a77e.tar.gz
stitch-d72a2fe44012000c0a9398fa290642ccb834a77e.tar.bz2
stitch-d72a2fe44012000c0a9398fa290642ccb834a77e.zip
Fix infov0.0.2
Diffstat (limited to 'lib/basic.ml')
0 files changed, 0 insertions, 0 deletions