tag	line	file	source code
isdn_ppp_revision	78	drivers/isdn/isdn_common.c	extern char *isdn_ppp_revision;
isdn_ppp_revision	80	drivers/isdn/isdn_common.c	static char *isdn_ppp_revision = ": none $";
isdn_ppp_revision	1911	drivers/isdn/isdn_common.c	isdn_getrev(isdn_ppp_revision));
isdn_ppp_revision	75	drivers/isdn/isdn_ppp.c	char *isdn_ppp_revision              = "$Revision: 1.5 $";