don't use options.leaf any more
[ppp.git] / etc.ppp / options
1995-06-23 Paul Mackerrasadd some files which got missed earlier