-
Thomas Friedrichsmeier authored
This will be important once we allow loading / unloading kate plugins. With some luck it also fixes current (non-determinate) crash on exit issues.
f92a6055
This will be important once we allow loading / unloading kate plugins. With some luck it also fixes current (non-determinate) crash on exit issues.