docs: Regenerate docshelper
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 5 Jan 2020 10:57:25 +0000 (11:57 +0100)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Sun, 5 Jan 2020 10:57:49 +0000 (11:57 +0100)
commit81b7e48a55092203aeee8785799e6fed3928760e
tree44bd6c6878cbdce8f6ff671d09bc82313f75920c
parent16e7c1120346bd853cf6510ffac8e94824bf2c7f
docs: Regenerate docshelper

See #6707
See #6616
docs/data/docs.json