diff options
| author | Clément Delafargue | 2023-02-08 16:09:19 +0000 |
|---|---|---|
| committer | GitHub | 2023-02-08 16:09:19 +0000 |
| commit | f386ff795d4833cce02d57de921999284aadded3 (patch) | |
| tree | 363078f7197e71ffc1aeedc27919e1076957a4f1 /runtime/queries/sage/highlights.scm | |
| parent | 00ecc556a8d3f7efe115f3d826c916ffacf6ab2e (diff) | |
Check for external file modifications when writing (#5805)
`:write` and other file-saving commands now check the file modification
time before writing to protect against overwriting external changes.
Co-authored-by: Gustavo Noronha Silva <gustavo@noronha.dev.br>
Co-authored-by: LeoniePhiline <22329650+LeoniePhiline@users.noreply.github.com>
Co-authored-by: Pascal Kuthe <pascal.kuthe@semimod.de>
Diffstat (limited to 'runtime/queries/sage/highlights.scm')
0 files changed, 0 insertions, 0 deletions