From 3f7231bd58c8d5e962c1fe5ae46927c5bd52b844 Mon Sep 17 00:00:00 2001
From: rycee <rycee@users.noreply.github.com>
Date: Wed, 10 Jul 2024 21:14:36 +0000
Subject: [PATCH] deploy: 57d85c6c6d625c45bbf848ed77fbdb5794aa8414

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

diff --git a/options.xhtml b/options.xhtml
index 7da30cc58..d98d729e0 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -80101,7 +80101,7 @@ null or boolean</p>
 <p>Whether the program runs in a terminal window.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-boolean</p>
+null or boolean</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">false</code></p>