diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-03-10 12:08:04 +0300 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-03-10 12:08:04 +0300 |
| commit | ba3a11ac24cdc2c6d915ca5c863a6d8e8cec0e29 (patch) | |
| tree | ae1b06dc06b1697c6fdc7d16b53fc91893636128 /data | |
| parent | e64016d13557e435fa9aed277f548140ec73c1a2 (diff) | |
docs: Regenerate docshelper
Diffstat (limited to 'data')
| -rw-r--r-- | data/docs.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/docs.json b/data/docs.json index 55e71e3f3..7f85c6d1a 100644 --- a/data/docs.json +++ b/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 } }, |