diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2019-04-20 19:50:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-04-20 19:50:31 +0200 |
commit | ec9cfa53a6d992b269af0f7ccefcb1c7de0e7468 (patch) | |
tree | 0c66d29d91c9a71b923bdd6bb47159899e5e4572 /editor/icons/icon_key_next.svg | |
parent | 175942dcd10a0dc2e35c4e52992404c5c974c45f (diff) | |
parent | 8b1b2f6a4cfb65d186097e29d4979838e9114685 (diff) |
Merge pull request #28239 from jbuck3/editor-tooltip-fix
Fix editor tooltip formatting
Diffstat (limited to 'editor/icons/icon_key_next.svg')
0 files changed, 0 insertions, 0 deletions