diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-08-12 09:59:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-12 09:59:29 +0200 |
commit | a1dde733726cfd4a86235e42bf691024a964dc35 (patch) | |
tree | be8c5ba4636bb8a935bb618db428af54ef17295d /platform/javascript/pre.js | |
parent | 2e0525a16147e662ceedb898797fd4cff596f042 (diff) | |
parent | 1c872c75dbca070b63f8355cb0aa85f1a7f369ad (diff) |
Merge pull request #31247 from YeldhamDev/theme_editor_fixup
Minor fixups to the theme editor
Diffstat (limited to 'platform/javascript/pre.js')
0 files changed, 0 insertions, 0 deletions