From fd553c622045faed3e30427a9c9390d396a57192 Mon Sep 17 00:00:00 2001 From: ncfavier Date: Thu, 4 May 2023 14:59:27 +0000 Subject: [PATCH] deploy: ae6d5466bf3ee61f5565f1631a787a7eda68c99d --- options.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/options.html b/options.html index 7963200c..a1e20490 100644 --- a/options.html +++ b/options.html @@ -2347,6 +2347,7 @@ versions it should be an unwrapped Firefox package.

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

Default: [ ]

Example:

[
   {
     name = "wikipedia";
+    tags = [ "wiki" ];
     keyword = "wiki";
     url = "https://en.wikipedia.org/wiki/Special:Search?search=%s&go=Go";
   }
@@ -2364,6 +2365,7 @@ previously existing bookmarks!

Type: