aboutsummaryrefslogtreecommitdiff
path: root/lib/done.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-29 09:51:57 -0500
committerMarc Coquand <marc@mccd.space>2024-05-29 09:51:57 -0500
commit9ffd8422de06adab52c0b7873a6ce181d82b5391 (patch)
tree84d092603ffd984ee8ef1073972946a708010579 /lib/done.ml
parent4aea286edd92845f17c490e1009cd8f7e271e596 (diff)
downloadstitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.gz
stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.bz2
stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.zip
Refresh when editing in stitched and headline view
Diffstat (limited to 'lib/done.ml')
0 files changed, 0 insertions, 0 deletions