# The debian configuration does not use this file.
# Please use isdnconfig to create /etc/isdn/ipppd.DEVICE .
# Read the isdnconfig manpage for more info.
