tag	line	file	source code
isdn_ppp_revision	69	drivers/isdn/isdn_common.c	extern char *isdn_ppp_revision;
isdn_ppp_revision	71	drivers/isdn/isdn_common.c	static char *isdn_ppp_revision = ": none $";
isdn_ppp_revision	1835	drivers/isdn/isdn_common.c	isdn_getrev(isdn_ppp_revision));
isdn_ppp_revision	71	drivers/isdn/isdn_ppp.c	char *isdn_ppp_revision              = "$Revision: 1.4 $";