...forgot src/dumb/dumb_params.txt

diff --git a/src/dumb/dumb_params.txt b/src/dumb/dumb_params.txt
index 944d08f4c27a1a0730781bf71946329bc71829f1..c62d4f8ae9a2004feb452d6a15bb0d54c7577a21 100644 (file)
--- a/src/dumb/dumb_params.txt
+++ b/src/dumb/dumb_params.txt
@@ -14,6 +14,6 @@
 -S # transcript width
 -t   set Tandy bit
 -u # slots for multiple undo
--v show version information
+-v   show version information
 -w # screen width
 -x   expand abbreviations g/x/z