Merge branch 'develop' into 'develop'

fix typo in man page

just a little typo

See merge request !6
This commit is contained in:
Moritz Lipp 2016-01-03 14:53:52 +00:00
commit c6e7d32ca9

View file

@ -454,8 +454,8 @@ guioptions
Shows or hides GUI elements. Shows or hides GUI elements.
If it contains 'c', the command line is displayed. If it contains 'c', the command line is displayed.
If it contains 's', the statusbar is displayed. If it contains 's', the statusbar is displayed.
If it contains 'h', the vertical scrollbar is displayed. If it contains 'h', the horizontal scrollbar is displayed.
If it contains 'v', the horizontal scrollbar is displayed. If it contains 'v', the vertical scrollbar is displayed.
* Value type: String * Value type: String
* Default value: s * Default value: s