let remote_name override name supplied by peer; some minor fixes
[ppp.git] / SETUP
1995-06-01 Paul MackerrasPutting remaining PPP files under version control