diff .hgtags @ 140:867bb186a829

added a script that checks the documentation coverage of config options
author meillo@marmaro.de
date Tue, 06 Jul 2010 17:43:31 +0200
parents f613ef4acb63
children 0025a7677d16
line wrap: on
line diff