From beb58657b7b222012a86a4fd7bfcbc4161504fce Mon Sep 17 00:00:00 2001 From: khaneliman Date: Sun, 23 Mar 2025 19:04:53 +0000 Subject: [PATCH] deploy: ecbcd792e1f6cd018b0858b5b3d11733cd19c46f --- options.xhtml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/options.xhtml b/options.xhtml index fd7f855b1..11e59dfcb 100644 --- a/options.xhtml +++ b/options.xhtml @@ -21522,7 +21522,7 @@ attribute set of (submodule)

Declarative bookmarks.

Type: -(submodule) or (list of anything) convertible to it

+(submodule) or ((list of ((bookmark submodule) or (directory submodule))) or (attribute set of ((bookmark submodule) or (directory submodule))) convertible to it) convertible to it

Default: { }

@@ -23125,7 +23125,7 @@ attribute set of (submodule)

Declarative bookmarks.

Type: -(submodule) or (list of anything) convertible to it

+(submodule) or ((list of ((bookmark submodule) or (directory submodule))) or (attribute set of ((bookmark submodule) or (directory submodule))) convertible to it) convertible to it

Default: { }