diff options
author | 2008-10-16 17:01:16 +0000 | |
---|---|---|
committer | 2008-10-16 17:01:16 +0000 | |
commit | e54cc78dd10c4befae6953bd110311f0f24f96b7 (patch) | |
tree | 9acb8238193173599af167eb1775ed2bc6258ea3 | |
parent | 7d3221dcf394a128fc8b441ab8cb180fcb9bbef9 (diff) |
Minor fix to Shift-F11 description.
-rw-r--r-- | docs/config.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/config.txt b/docs/config.txt index 2d75fdd361d..bc1a14062d4 100644 --- a/docs/config.txt +++ b/docs/config.txt @@ -128,7 +128,7 @@ F10 Toggle speed throttling. F11 Toggles speed display. -Shift+F11 Toggles profiler display (debug builds only). +Shift+F11 Toggles internal profiler display (if compiled in). F12 Saves a screen snapshot. |