2 Commits (1161debb9c8f1cb2d0f2b6cbc47037ba2873caa7)

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