Website: add download menu to navbar

2022-08-02 15:29:23 +02:00 · 2022-08-02 15:29:23 +02:00 · 4900b728cf
commit 4900b728cf
parent 84f02ac696
1 changed files with 3 additions and 0 deletions
--- a/web/project-website/data/menu/extra.yaml
+++ b/web/project-website/data/menu/extra.yaml
@ -1,5 +1,8 @@
 ---
 header:
+  - name: Download
+    ref: /download
+    external: false
  - name: Getting Started
    ref: /usage/getting-started
    external: false