diff options
| author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-03-09 11:33:53 +0100 |
|---|---|---|
| committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-03-09 11:33:53 +0100 |
| commit | cdb8b0842b5371b03fffe5488864e3fabf7f5c03 (patch) | |
| tree | 4d1450cbf0f0cb34130020b889667d9b4833c619 /docs | |
| parent | a360cab75a073c2a8d47dcd27f52a6847e8d8d13 (diff) | |
docs: Regenerate docshelper
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/data/docs.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/data/docs.json b/docs/data/docs.json index 2fb4c2022..55e71e3f3 100644 --- a/docs/data/docs.json +++ b/docs/data/docs.json @@ -1695,6 +1695,7 @@ "lineAnchors": "", "lineNoStart": 1, "hl_Lines": "", + "hl_inline": false, "tabWidth": 4, "guessSyntax": false }, @@ -1843,7 +1844,7 @@ "keepDocumentTags": true, "keepEndTags": true, "keepQuotes": false, - "keepWhitespace": true + "keepWhitespace": false }, "css": { "keepCSS2": true, |