Tomas Slusny 2715974f88 Merge pull request #7741 from deathbeam/fix-widget-hiding ...

Unhide hidden widgets on plugin shutdown

2019-02-08 07:08:10 +00:00

..

src

Merge pull request #7741 from deathbeam/fix-widget-hiding

2019-02-08 07:08:10 +00:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2019-02-07 12:46:40 +00:00