diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2016-06-05 23:19:56 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2016-06-05 23:19:56 +0200 |
| commit | b88128241eb7deb6599e946dc009fdc5dfd32974 (patch) | |
| tree | e5af701f34b065d4d8837ff4ef304c9888605ec9 /src/free/java | |
| parent | 9f42ead7479cf6dd989e7b9ca96306f5a896bcf3 (diff) | |
| parent | 92bad0fa1ec6cf5fd46ce42a82b0093681d8d6b5 (diff) | |
Merge pull request #1895 from pp3345/right-alt
Do not treat Right Alt key as a modifier for key combos
Diffstat (limited to 'src/free/java')
0 files changed, 0 insertions, 0 deletions