From 067ac13018eb55aedef673f19c6eda028583b6ed Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Sun, 5 Apr 2015 23:35:00 +0200 Subject: [PATCH] Regenerate docs. --- doc/help/settings.asciidoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/help/settings.asciidoc b/doc/help/settings.asciidoc index 9a30d83d1..c78f86495 100644 --- a/doc/help/settings.asciidoc +++ b/doc/help/settings.asciidoc @@ -424,7 +424,7 @@ Default: +pass:[false]+ === session-default-name The name of the session to save by default, or empty for the last loaded session. -Default: +pass:[default]+ +Default: empty == ui General options related to the user interface.