1 files changed, 0 insertions, 2 deletions
diff --git a/docs/SHORTCUTS b/docs/SHORTCUTS
index 93a7133db..0a0d6e0ab 100644
--- a/docs/SHORTCUTS
+++ b/docs/SHORTCUTS
@@ -3,8 +3,6 @@ main shortcuts
 
 F1 -> help
 F2 -> take a screenshot
-F11 -> previous step
-F12 -> next (reachable) step
 
 ********************************************************************************
 diskdrake