diff options
Diffstat (limited to 'runtime/doc/undo.txt')
| -rw-r--r-- | runtime/doc/undo.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/doc/undo.txt b/runtime/doc/undo.txt index a500e87e35..0fc164965a 100644 --- a/runtime/doc/undo.txt +++ b/runtime/doc/undo.txt @@ -257,7 +257,7 @@ respectively: (the magic number at the start of the file is wrong), then this fails, unless the ! was added. If it exists and does look like an undo file it is - overwritten. If there is no undo-history, nothing will be + overwritten. If there is no undo-history, nothing will be written. Implementation detail: Overwriting happens by first deleting the existing file and then creating a new file with the same |