summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--txr.12
1 files changed, 1 insertions, 1 deletions
diff --git a/txr.1 b/txr.1
index 076ac85c..4168efda 100644
--- a/txr.1
+++ b/txr.1
@@ -42747,7 +42747,7 @@ appears that each line has its own, independent undo history.
Undoing the edits in one line has no effect on the undo history of another
line.
-Undo also records edits for lines that has been canceled with Ctrl-C, and are
+Undo also records edits for lines that have been canceled with Ctrl-C, and are
not entered into the history, making it possible to recall canceled lines.
The undo history is lost when \*(TX terminates.