Remove AltGr button from keyboard input spec

AltGr is just implemented as Alt + Ctrl. This means it's unnecessary and is only going to complicate the spec.
2019-05-25 18:49:42 +02:00
parent b4cf5d3cb7
commit 3173c4999c
1 changed files with 0 additions and 1 deletions
@@ -38,7 +38,6 @@ A token is either a modifier symbol, literal symbol, symbol sequence or space ch
 | Ctrl | `^` |
 | Alt | `*` |
 | Shift | `>` |
-| AltGr | `/` |
 | Super (Windows) | `#` |

 ### Literal symbols