docs: Regenerate the docs helper
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Fri, 2 Nov 2018 11:56:19 +0000 (12:56 +0100)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Fri, 2 Nov 2018 12:36:09 +0000 (13:36 +0100)
commit486bc46a5217a9d70fe0d14ab9261d7b4eb026d6
tree32757ee039cfc0024ec64cc3f498dcede3285819
parent61f210dd7abe5de77c27dc6a6995a3ad5e77afa1
docs: Regenerate the docs helper
docs/data/docs.json