diff options
| author | Tannin <sherb@gmx.net> | 2016-05-15 13:06:31 +0200 |
|---|---|---|
| committer | Tannin <sherb@gmx.net> | 2016-05-15 13:06:31 +0200 |
| commit | e3c3c2dcc4c31e831ef17687cbf02ba1519f7450 (patch) | |
| tree | 99e98bfbe23ef47a510f186602d4d3094ae8bac6 /src/instancemanager.cpp | |
| parent | 519f215fd78639bbd9120ae0c24ea251f6419822 (diff) | |
fixed: after running an external application the plugin list was potentially not updated correctly
Diffstat (limited to 'src/instancemanager.cpp')
0 files changed, 0 insertions, 0 deletions