From 5f6a77f7094a5a52afb8ae5cc25e539e42fef4e2 Mon Sep 17 00:00:00 2001
From: teto <teto@users.noreply.github.com>
Date: Mon, 7 Oct 2024 10:19:09 +0000
Subject: [PATCH] deploy: fcf5e608ac65f64463bc0ccc5ea86f2170f20689

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

diff --git a/options.xhtml b/options.xhtml
index 8a5dff62b..061e8be73 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -30692,7 +30692,7 @@ attribute set of string</p>
 for the documentation.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
-attribute set of (string or boolean or signed integer)</p>
+attribute set of (string or boolean or signed integer or floating point number)</p>
 
 <p><span class="emphasis"><em>Default:</em></span>
 <code class="literal">{ }</code></p>