--- 43BSD/contrib/X/Xlib/Xttylib.c	2018/04/24 16:12:54	1.1
+++ 43BSD/contrib/X/Xlib/Xttylib.c	2018/04/24 16:12:54	1.1.1.1
@@ -1,5 +1,5 @@
 #ifndef lint
-static char *rcsid_Xttylib_c = "$Header: /var/lib/cvsd/CSRG/43BSD/contrib/X/Xlib/Xttylib.c,v 1.1 2018/04/24 16:12:54 root Exp $";
+static char *rcsid_Xttylib_c = "$Header: /var/lib/cvsd/CSRG/43BSD/contrib/X/Xlib/Xttylib.c,v 1.1.1.1 2018/04/24 16:12:54 root Exp $";
 #endif
 /* This version has a single reverse-video argument instead of colors.  It
    really only works well on monochrome displays */