diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-02-01 16:49:35 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-01 16:49:35 +0100 |
commit | 51d3dee9c265fb9cb2617543c64e79e3a9e8e69f (patch) | |
tree | 4cdf3f6a82ced7debda7f83ecff8f5aedad8d248 /doc/classes/Theme.xml | |
parent | 2459eebc1d0d679efb546aa5a95ddd493290a7aa (diff) | |
parent | 517ff5c8d71884a09114191ac79bf8c990f391ca (diff) |
Merge pull request #15946 from MarianoGnu/issue_15870
Attemp to fix #15870
Diffstat (limited to 'doc/classes/Theme.xml')
0 files changed, 0 insertions, 0 deletions