diff docs/simple-local-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 3dff59a4e764
children 72653295b75d
line wrap: on
line diff