--- 43BSDTahoe/new/X/rgb/rgb.c	2018/04/24 16:12:58	1.1
+++ 43BSDTahoe/new/X/rgb/rgb.c	2018/04/24 16:12:58	1.1.1.1
@@ -5,7 +5,7 @@
    where red/green/blue are decimal values, and inserts them in a database.
  */
 #ifndef lint
-static char *rcsid_rgb_c = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/new/X/rgb/rgb.c,v 1.1 2018/04/24 16:12:58 root Exp $";
+static char *rcsid_rgb_c = "$Header: /var/lib/cvsd/CSRG/43BSDTahoe/new/X/rgb/rgb.c,v 1.1.1.1 2018/04/24 16:12:58 root Exp $";
 #endif
 
 #include <dbm.h>