4 Commits (5bfd0d5bd2fb98b55d2da80ae5d394dbf479786a)

Author SHA1 Message Date
Pino Toscano 65920e10c6 document that reparseConfig() can be called even when not really necessary 19 years ago
Pino Toscano 8a216058f3 clean the headers 19 years ago
Pino Toscano 91b7675c14 configurationWidget() is too generic -> rename to printConfigurationWidget() 19 years ago
Tobias Koenig ea51ee18f5 Do a lot of include cleanups... we install all important 19 years ago