diff docs/ppp-setup @ 352:4905a1d9e6a7

minor improvement of output of devel/are-options-documented
author markus schnalke <meillo@marmaro.de>
date Sun, 04 Sep 2011 10:14:36 +0200
parents f10a56dc7481
children 4cbaf6d6793f
line wrap: on
line diff