# The debian configuration does not use this file.
# Please use isdnconfig to create /etc/isdn/ipppd.DEVICE.
