Manual: document that :<number> jumps to the line number

diff --git a/manual.txt b/manual.txt
index 4599db7874d057f363d996c4869575fa50d87be9..d73e819ed2aab5455514276dac07200aa6576969 100644 (file)
--- a/manual.txt
+++ b/manual.txt
@@ -437,7 +437,8 @@ A   Toggle author display on/off.
 g      Toggle revision graph visualization on/off.
 F      Toggle reference display on/off (tag and branch names).
 ':'    Open prompt. This allows you to specify what git command \
-       to run. Example `:log -p`
+       to run. Example `:log -p`. You can also use this to jump \
+       to a specific line by typing `:<linenumber>`, e.g. `:80`.
 e      Open file in editor.
 -----------------------------------------------------------------------------