diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-03-10 10:08:04 +0100 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-03-10 10:08:04 +0100 |
commit | a4ac188c194cc812e4646d514763f6a297f25f0a (patch) | |
tree | a933458611c6a5c81809c18ad43725cbe13a4b1a | |
parent | b82d95575d192e035ec57fb1fe638eeafa1b2d50 (diff) |
docs: Regenerate docshelper
-rw-r--r-- | docs/data/docs.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/data/docs.json b/docs/data/docs.json index 55e71e3f3..7f85c6d1a 100644 --- a/docs/data/docs.json +++ b/docs/data/docs.json @@ -1695,7 +1695,6 @@ "lineAnchors": "", "lineNoStart": 1, "hl_Lines": "", - "hl_inline": false, "tabWidth": 4, "guessSyntax": false }, @@ -1725,6 +1724,7 @@ "table": true, "strikethrough": true, "linkify": true, + "linkifyProtocol": "https", "taskList": true } }, |