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 /core | |
| parent | 175942dcd10a0dc2e35c4e52992404c5c974c45f (diff) | |
| parent | 8b1b2f6a4cfb65d186097e29d4979838e9114685 (diff) | |
Merge pull request #28239 from jbuck3/editor-tooltip-fix
Fix editor tooltip formatting
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions