diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-18 16:33:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-18 16:33:18 +0200 |
| commit | 9844cd45e35b122de3dc0bf7eea76a3034fb5cf2 (patch) | |
| tree | 22979f6581b8696c2e22c5254a2036327130713f /doc/classes/Separator.xml | |
| parent | d3d118baaac67b7fe97251647fea28c195f505fd (diff) | |
| parent | e460456e60b5129f89b4647d8bbb9c71a294c1ca (diff) | |
Merge pull request #38820 from ericrybick/master
Fix certain characters being recognized as special keys on Windows when using the us international layout
Diffstat (limited to 'doc/classes/Separator.xml')
0 files changed, 0 insertions, 0 deletions