aboutsummaryrefslogtreecommitdiff
path: root/lib/basic.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-16 08:39:54 -0500
committerMarc Coquand <marc@mccd.space>2024-05-16 08:39:54 -0500
commit091cc7925e811c543bb3a55bc34dc439630fb063 (patch)
treeb502a59bf7eace899bd31c3d3c3dc66caa5365d2 /lib/basic.ml
parent1d1c0f73f95429384d0b571c0c844acf9073d32f (diff)
downloadstitch-091cc7925e811c543bb3a55bc34dc439630fb063.tar.gz
stitch-091cc7925e811c543bb3a55bc34dc439630fb063.tar.bz2
stitch-091cc7925e811c543bb3a55bc34dc439630fb063.zip
Fix editor opening
Diffstat (limited to 'lib/basic.ml')
0 files changed, 0 insertions, 0 deletions