--- micropolis/src/tk/library/menu.tcl	2020/03/11 09:08:51	1.1
+++ micropolis/src/tk/library/menu.tcl	2020/03/11 09:08:51	1.1.1.1
@@ -4,7 +4,7 @@
 # menubuttons.  Most of the code here is dedicated to support for
 # menu traversal via the keyboard.
 #
-# $Header: /var/lib/cvsd/micropolis/micropolis/src/tk/library/menu.tcl,v 1.1 2020/03/11 09:08:51 root Exp $ SPRITE (Berkeley)
+# $Header: /var/lib/cvsd/micropolis/micropolis/src/tk/library/menu.tcl,v 1.1.1.1 2020/03/11 09:08:51 root Exp $ SPRITE (Berkeley)
 #
 # Copyright 1992 Regents of the University of California
 # Permission to use, copy, modify, and distribute this