diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-05 18:45:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-05 18:45:27 +0100 |
| commit | eaa9a98c6304a3af525c3e1116299904dbd585db (patch) | |
| tree | 0fdf85c0308823280019637e3614dac3793f7329 /platform/javascript/engine.js | |
| parent | 7332da31fc42fc393bcef529749d6a41dfcdc703 (diff) | |
| parent | a63a82d5e5e062566b62f1984e4669b01f880c9d (diff) | |
Merge pull request #15372 from Faless/fix_themes
Fix theme inheritance
Diffstat (limited to 'platform/javascript/engine.js')
0 files changed, 0 insertions, 0 deletions