Skip to content
Snippets Groups Projects
Commit 934a4d5c authored by Mirko Wächter's avatar Mirko Wächter
Browse files

Merge branch 'GuiPluginCaching' into 'master' 

Gui plugin caching

Gui plugins are now cached, which decreases the start up time  significantly.

See merge request !24
parents a8766fc7 f75418ae
No related branches found
No related tags found
1 merge request!24Gui plugin caching
Hide whitespace changes
Inline Side-by-side
Showing
with 685 additions and 146 deletions
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