log misc/are-options-documented @ 167:18a5c335afda 0.2.27

age author description
Tue, 06 Jul 2010 17:43:31 +0200 meillo added a script that checks the documentation coverage of config options