diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-16 08:39:54 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-16 08:39:54 -0500 |
| commit | 091cc7925e811c543bb3a55bc34dc439630fb063 (patch) | |
| tree | b502a59bf7eace899bd31c3d3c3dc66caa5365d2 /lib/basic.ml | |
| parent | 1d1c0f73f95429384d0b571c0c844acf9073d32f (diff) | |
| download | stitch-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