Juergen E. Fischer 6cc073d9dd widgetParametersPanel.ui: fix header
[ci skip]
2014-11-20 00:47:23 +01:00
..