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