--- 42BSD/ucb/lisp/lispconf	2018/04/24 16:12:54	1.1
+++ 42BSD/ucb/lisp/lispconf	2018/04/24 16:12:54	1.1.1.1
@@ -1,5 +1,5 @@
 #!/bin/csh 
-#$Header: /var/lib/cvsd/CSRG/42BSD/ucb/lisp/lispconf,v 1.1 2018/04/24 16:12:54 root Exp $
+#$Header: /var/lib/cvsd/CSRG/42BSD/ucb/lisp/lispconf,v 1.1.1.1 2018/04/24 16:12:54 root Exp $
 #
 # csh script to configure lisp
 # use: