comparison docs/INSTALL.linux @ 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 4762e0d26d8e
children 92340177150d
comparison
equal deleted inserted replaced
139:4d32eb75d3bc 140:867bb186a829