From 207b17010c62763932c18e1718d60883e61d9b26 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Sun, 1 Feb 2009 17:58:30 +0000 Subject: remove obsolete stuff from doc --- docs/SHORTCUTS | 2 -- 1 file changed, 2 deletions(-) (limited to 'docs') 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 -- cgit v1.2.1