3 Commits (a71f01234b4eeca7f35ca5cf5ba9d9cdfc2fc0c6)

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