From a4de68e3e5c4d348a2307cb1b2a7431e921d03d2 Mon Sep 17 00:00:00 2001
From: rycee <rycee@users.noreply.github.com>
Date: Mon, 27 May 2024 21:56:19 +0000
Subject: [PATCH] deploy: 0cf552f39f1f8567a8e76e14c90e2843634182b5

---
 options.xhtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/options.xhtml b/options.xhtml
index dea4da0ae..02dad76ff 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -13977,7 +13977,7 @@ strings concatenated with “\n”</p>
 <p>Controlling how commands are saved on the history list.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-list of (one of “erasedups”, “ignoredups”, “ignorespace”)</p>
+list of (one of “erasedups”, “ignoredups”, “ignorespace”, “ignoreboth”)</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">[ ]</code></p>