--- coherent/e/bin/ksh/history.c	2019/05/29 04:56:41	1.1
+++ coherent/e/bin/ksh/history.c	2019/05/29 04:56:41	1.1.1.1
@@ -4,7 +4,7 @@
  * only implements in-memory history.
  */
 
-static char *RCSid = "$Header: /var/lib/cvsd/coherent/coherent/e/bin/ksh/history.c,v 1.1 2019/05/29 04:56:41 root Exp $";
+static char *RCSid = "$Header: /var/lib/cvsd/coherent/coherent/e/bin/ksh/history.c,v 1.1.1.1 2019/05/29 04:56:41 root Exp $";
 
 #include <stddef.h>
 #include <stdio.h>