-
Philipp Hörist authored
This is useful as the PluginInstaller plugin does not need to manually add/remove plugins inside the PluginWindow anymore
290efab3
This is useful as the PluginInstaller plugin does not need to manually add/remove plugins inside the PluginWindow anymore