diff --git a/package.json b/package.json index 691dcc1..a2712c6 100644 --- a/package.json +++ b/package.json @@ -210,12 +210,6 @@ "category": "TLA+" } ], - "keybindings": [ - { - "command": "tlaplus.tlaps.check-step", - "key": "ctrl+g ctrl+g" - } - ], "snippets": [ { "language": "tlaplus",