diff options
| author | Michael Davis | 2023-07-27 02:48:16 +0000 |
|---|---|---|
| committer | GitHub | 2023-07-27 02:48:16 +0000 |
| commit | 6a431afc4e650efd2eca4afdf1122b3896e43ee3 (patch) | |
| tree | 04413ec20185d1e6c3952cd0367547ce1f435cb5 /runtime/queries/ocaml/injections.scm | |
| parent | dea6894f92b23d6c94196e590efa01c491b5d6b2 (diff) | |
Save an undo checkpoint before accepting completion (#7747)
Diffstat (limited to 'runtime/queries/ocaml/injections.scm')
0 files changed, 0 insertions, 0 deletions