 Denys Vlasenko
|
3581c62515
whitespace fixes
|
há 15 anos atrás |
 Bernhard Reutner-Fischer
|
6c4dadefb6
- update my name. No obj-code changes ;)
|
há 16 anos atrás |
|
Bernhard Reutner-Fischer
|
d6bbf99a8b
- reinstate "make checkhelp"
|
há 18 anos atrás |
|
Denis Vlasenko
|
9213a9e0f2
whitespace cleanup
|
há 18 anos atrás |
|
Bernhard Reutner-Fischer
|
0e413e53e9
- ignore missing helptext for options which are not selectable.
|
há 18 anos atrás |
|
Bernhard Reutner-Fischer
|
3916b2a560
- add script to check for missing help entries of config options
|
há 18 anos atrás |
