tag	line	file	source code
rcsid	22	drivers/net/sk_g16.c	static char *rcsid = "$Id: sk_g16.c,v 1.1 1994/06/30 16:25:15 root Exp $";
rcsid	561	drivers/net/sk_g16.c	PRINTK(("%s: %s", SK_NAME, rcsid));
rcsid	562	drivers/net/sk_g16.c	rcsid = NULL;                 /* We do not want to use this further */
rcsid	12	zBoot/inflate.c	static char rcsid[] = "$Id: inflate.c,v 0.10 1993/02/04 13:21:06 jloup Exp $";
rcsid	20	zBoot/unzip.c	static char rcsid[] = "$Id: unzip.c,v 0.9 1993/02/10 16:07:22 jloup Exp $";