Skip to content
This repository has been archived by the owner on Aug 31, 2023. It is now read-only.

[docs] Add navigation dropdown for docs #3578

Merged
merged 3 commits into from
Nov 7, 2022
Merged

[docs] Add navigation dropdown for docs #3578

merged 3 commits into from
Nov 7, 2022

Commits on Nov 7, 2022

  1. Add navigation dropdown for docs

    Sebastian McKenzie committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    4ebd1a5 View commit details
    Browse the repository at this point in the history

  2. Add google analytics

    Sebastian McKenzie committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    0ec9cf8 View commit details
    Browse the repository at this point in the history

  3. Format

    Sebastian McKenzie committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    8ef5a81 View commit details
    Browse the repository at this point in the history