diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-01-10 13:21:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-10 13:21:07 +0100 |
| commit | 7cdb86ba951766d807130f4e8af5190789c2e690 (patch) | |
| tree | aef828ea6e7d58eb9468870e697b051c042f8f06 /Makefile | |
| parent | 6420322cd1a22da50d7af9c0bb1b17bd1f370777 (diff) | |
| parent | d22a16bc14bf8fad1c75652b90dcdcffb38d1efe (diff) | |
Merge pull request #736 from not-my-profile/doc-highlight-current-in-sidebar
[doc] highlight the current page in the sidebar
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions