summaryrefslogtreecommitdiff
path: root/doc/classes/NavigationPolygon.xml
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2019-03-06 12:36:54 +0100
committerGitHub <noreply@github.com>2019-03-06 12:36:54 +0100
commit3916a5352250e004504cf97d1eb9df5305c50bbc (patch)
tree6ec8ec9680af699c3c551258bdd534606e2c1be2 /doc/classes/NavigationPolygon.xml
parent2940475c716eab517ca52957acc8714f195d32cb (diff)
parent354272d41f0711ba4711da1e3845e552caa422b1 (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