Skip to content
Commit 28c65a8c authored by Arjen Hiemstra's avatar Arjen Hiemstra
Browse files

Skip loading a plugin if it was already loaded

This prevents duplicate plugins (like one local and one system) from
being loaded, making it less likely that the one wrong is loaded.
parent eb5e5e05
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment