diff options
| -rw-r--r-- | gnu/usr.bin/rcs/lib/rcsedit.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/usr.bin/rcs/lib/rcsedit.c b/gnu/usr.bin/rcs/lib/rcsedit.c index 855790a..ef6c7f7 100644 --- a/gnu/usr.bin/rcs/lib/rcsedit.c +++ b/gnu/usr.bin/rcs/lib/rcsedit.c @@ -1051,6 +1051,7 @@ keyreplace(marker, delta, delimstuffed, infile, out, dolog) case Id: case LocalId: case Header: + case CVSHeader: if (marker == Id || RCSv < VERSION(4) || (marker == LocalId && LocalIdMode == Id)) escape_string(out, basefilename(RCSname)); |
