log devel/are-options-documented @ 369:19d57eb1b6a1

age author description
Sun, 04 Sep 2011 10:14:36 +0200 markus schnalke minor improvement of output of devel/are-options-documented
Fri, 23 Jul 2010 11:46:08 +0200 meillo renamed misc/ to devel/ base misc/are-options-documented@b980139ed685