log misc/are-options-documented @ 173:a2bec9a14324

age author description
2010-07-06 meillo added a script that checks the documentation coverage of config options