--- 43BSDReno/kerberosIV/ksrvtgt/ksrvtgt.c	2018/04/24 16:12:56	1.1
+++ 43BSDReno/kerberosIV/ksrvtgt/ksrvtgt.c	2018/04/24 16:12:56	1.1.1.1
@@ -19,7 +19,7 @@
 #include <conf.h>
 
 const char rcsid[] =
-    "$Header: /var/lib/cvsd/CSRG/43BSDReno/kerberosIV/ksrvtgt/ksrvtgt.c,v 1.1 2018/04/24 16:12:56 root Exp $";
+    "$Header: /var/lib/cvsd/CSRG/43BSDReno/kerberosIV/ksrvtgt/ksrvtgt.c,v 1.1.1.1 2018/04/24 16:12:56 root Exp $";
 
 main(argc,argv)
     int argc;