2 Commits (1e7cb0b2eb24efe8991c87ded6d3a20fa60f5e10)

Author SHA1 Message Date
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