Regenerate docs.

This commit is contained in:
Florian Bruhin 2015-04-05 23:35:00 +02:00
parent 9b8f5e3ff0
commit 067ac13018

View File

@ -424,7 +424,7 @@ Default: +pass:[false]+
=== session-default-name === session-default-name
The name of the session to save by default, or empty for the last loaded session. The name of the session to save by default, or empty for the last loaded session.
Default: +pass:[default]+ Default: empty
== ui == ui
General options related to the user interface. General options related to the user interface.