diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-29 09:51:57 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-29 09:51:57 -0500 |
| commit | 9ffd8422de06adab52c0b7873a6ce181d82b5391 (patch) | |
| tree | 84d092603ffd984ee8ef1073972946a708010579 /.ocamlformat | |
| parent | 4aea286edd92845f17c490e1009cd8f7e271e596 (diff) | |
| download | stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.gz stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.tar.bz2 stitch-9ffd8422de06adab52c0b7873a6ce181d82b5391.zip | |
Refresh when editing in stitched and headline view
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions