diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-10-24 16:17:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-24 16:17:25 +0200 |
| commit | 982774e639ad4c98aa9459cd029c505b01fee4a8 (patch) | |
| tree | fd0307996896f374bd006cecb29a98948a932066 /.editorconfig | |
| parent | 9d347a2f2487d28cee8d11ed9a7ac7615b4c91f3 (diff) | |
| parent | 63e6b1ecce015147b7b90a46961bac6d7299cf67 (diff) | |
Merge pull request #33033 from volzhs/fix-tooltip
Fix rendering tooltip
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions