diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-06-25 10:48:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-06-25 10:48:27 +0200 |
commit | 1b9f31dc158d3c7be60484e5270e059608219a4b (patch) | |
tree | 399462ad4af8c71e83b2a33ae7b3629a591c1ca8 /editor/icons/icon_tool_select.png | |
parent | 41bbf106e69732f2a26c6e02184faf28ea61fda4 (diff) | |
parent | 41029eb1f001d4ffa5bf491c1841f2e505172d5e (diff) |
Merge pull request #9350 from sowfelicity/x11-ime
Workaround for IME on Linux.
Diffstat (limited to 'editor/icons/icon_tool_select.png')
0 files changed, 0 insertions, 0 deletions