diff options
Diffstat (limited to 'src/undo.c')
| -rw-r--r-- | src/undo.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/undo.c b/src/undo.c index 8d5c5797c06..c6d2747f270 100644 --- a/src/undo.c +++ b/src/undo.c | |||
| @@ -728,5 +728,3 @@ so it must make sure not to do a lot of consing. */); | |||
| 728 | undo_inhibit_record_point = 0; | 728 | undo_inhibit_record_point = 0; |
| 729 | } | 729 | } |
| 730 | 730 | ||
| 731 | /* arch-tag: d546ee01-4aed-4ffb-bb8b-eefaae50d38a | ||
| 732 | (do not change this comment) */ | ||