--- micropolis/src/tk/tkpixmap.c	2020/03/11 09:08:51	1.1
+++ micropolis/src/tk/tkpixmap.c	2020/03/11 09:08:51	1.1.1.1
@@ -24,7 +24,7 @@
 #if defined(USE_XPM3)
 
 #ifndef lint
-static char *AtFSid = "$Header: /var/lib/cvsd/micropolis/micropolis/src/tk/tkpixmap.c,v 1.1 2020/03/11 09:08:51 root Exp $";
+static char *AtFSid = "$Header: /var/lib/cvsd/micropolis/micropolis/src/tk/tkpixmap.c,v 1.1.1.1 2020/03/11 09:08:51 root Exp $";
 #endif /* not lint */
 
 #include "tkconfig.h"