diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-23 11:26:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-23 11:26:33 +0200 |
| commit | 791d7f78b52f5b828aa5541897e12c6a1861ef6f (patch) | |
| tree | 598b1a7f1b30e0cf47fc431be1f53768164ef19a /doc/classes/Tree.xml | |
| parent | b7ba8a1fa1fbbf94c155c9d398ed591c395269c9 (diff) | |
| parent | 08ceef2e390ade1800cee3a5c75f4194611f2bb7 (diff) | |
Merge pull request #31593 from SaracenOne/project_theme_shutdown_fix
Fixes issue with project_default_theme not being cleaned up
Diffstat (limited to 'doc/classes/Tree.xml')
0 files changed, 0 insertions, 0 deletions