2 Commits (166ba5b87a77b63aeaefe3eb49a733facba8b0c8)

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