From ed4cd816d478a9fbd5fb9916b287e00dcb787177 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Mon, 20 Mar 2017 09:45:27 +0100
Subject: [PATCH] Update docs

---
 README.asciidoc            | 2 +-
 doc/help/settings.asciidoc | 7 +++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/README.asciidoc b/README.asciidoc
index eae5a07c8..07ce0ff36 100644
--- a/README.asciidoc
+++ b/README.asciidoc
@@ -155,6 +155,7 @@ Contributors, sorted by the number of commits in descending order:
 * Alexander Cogneau
 * Felix Van der Jeugt
 * Daniel Karbach
+* Imran Sobir
 * Martin Tournoij
 * Kevin Velghe
 * Raphael Pierzina
@@ -165,7 +166,6 @@ Contributors, sorted by the number of commits in descending order:
 * Corentin Julé
 * meles5
 * Philipp Hansch
-* Imran Sobir
 * Panagiotis Ktistakis
 * Artur Shaik
 * Nathan Isom
diff --git a/doc/help/settings.asciidoc b/doc/help/settings.asciidoc
index 78b5a7022..a2963937c 100644
--- a/doc/help/settings.asciidoc
+++ b/doc/help/settings.asciidoc
@@ -36,6 +36,7 @@
 [options="header",width="75%",cols="25%,75%"]
 |==============
 |Setting|Description
+|<<ui-history-session-interval,history-session-interval>>|The maximum time in minutes between two history items for them to be considered being from the same session. Use -1 to disable separation.
 |<<ui-zoom-levels,zoom-levels>>|The available zoom levels, separated by commas.
 |<<ui-default-zoom,default-zoom>>|The default zoom level.
 |<<ui-downloads-position,downloads-position>>|Where to show the downloaded files.
@@ -536,6 +537,12 @@ Default: +pass:[path,query]+
 == ui
 General options related to the user interface.
 
+[[ui-history-session-interval]]
+=== history-session-interval
+The maximum time in minutes between two history items for them to be considered being from the same session. Use -1 to disable separation.
+
+Default: +pass:[30]+
+
 [[ui-zoom-levels]]
 === zoom-levels
 The available zoom levels, separated by commas.