--- 43BSD/ucb/dbx/main.c	2018/04/24 16:12:55	1.1
+++ 43BSD/ucb/dbx/main.c	2018/04/24 16:12:55	1.1.1.1
@@ -14,7 +14,7 @@ char copyright[] =
 static char sccsid[] = "@(#)main.c	5.1 (Berkeley) 5/31/85";
 #endif not lint
 
-static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/dbx/main.c,v 1.1 2018/04/24 16:12:55 root Exp $";
+static char rcsid[] = "$Header: /var/lib/cvsd/CSRG/43BSD/ucb/dbx/main.c,v 1.1.1.1 2018/04/24 16:12:55 root Exp $";
 
 /*
  * Debugger main routine.