--- 43BSDReno/pgrm/lisp/utils/append.c	2018/04/24 16:12:57	1.1
+++ 43BSDReno/pgrm/lisp/utils/append.c	2018/04/24 16:12:57	1.1.1.1
@@ -1,5 +1,5 @@
 static char *rcsid =
-  "$Header: /var/lib/cvsd/CSRG/43BSDReno/pgrm/lisp/utils/append.c,v 1.1 2018/04/24 16:12:57 root Exp $";
+  "$Header: /var/lib/cvsd/CSRG/43BSDReno/pgrm/lisp/utils/append.c,v 1.1.1.1 2018/04/24 16:12:57 root Exp $";
   
 /*
  * append:  append a tail to a list of roots or prepend a head to a list