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/python/highlights.scm | |
parent | dea6894f92b23d6c94196e590efa01c491b5d6b2 (diff) |
Save an undo checkpoint before accepting completion (#7747)
Diffstat (limited to 'runtime/queries/python/highlights.scm')
0 files changed, 0 insertions, 0 deletions