diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-03-06 12:36:54 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-06 12:36:54 +0100 |
commit | 3916a5352250e004504cf97d1eb9df5305c50bbc (patch) | |
tree | 6ec8ec9680af699c3c551258bdd534606e2c1be2 /doc/classes/NavigationPolygon.xml | |
parent | 2940475c716eab517ca52957acc8714f195d32cb (diff) | |
parent | 354272d41f0711ba4711da1e3845e552caa422b1 (diff) |
Merge pull request #22716 from Chaosus/update_theme
Make theme changing no longer requires restart to be fully applied
Diffstat (limited to 'doc/classes/NavigationPolygon.xml')
0 files changed, 0 insertions, 0 deletions