Tomas Slusny 51d00d913a Reload overlay settings on plugin change ...

When plugin is loaded/unloaded, reload all overlay settings as they
might've changed.

Signed-off-by: Tomas Slusny <slusnucky@gmail.com>

2018-06-15 19:09:23 +02:00

..

src

Reload overlay settings on plugin change

2018-06-15 19:09:23 +02:00

pom.xml

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

2018-06-14 10:53:27 +00:00