diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2021-12-24 10:17:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-24 10:17:49 +0100 |
| commit | 6c32043e4776e22fca1a49ef73e7bb2f8fe84aa7 (patch) | |
| tree | f078bbf4e728a0fa97ca732dab57ffb4da6709c8 /docs/dev | |
| parent | 7bef2cc8dc8f85e6954803a50b66da26f05a2562 (diff) | |
| parent | 188efe53e89a607905b223b3ca59a85b2ba0c2ac (diff) | |
Merge pull request #648 from return42/doc-globaltoc
[doc] add global TOC to sidebar
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions