From 4900b728cf3e3d28f8d70454e5a4f1365fb80d49 Mon Sep 17 00:00:00 2001 From: Francesco Siddi Date: Tue, 2 Aug 2022 15:29:23 +0200 Subject: [PATCH] Website: add download menu to navbar --- web/project-website/data/menu/extra.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/web/project-website/data/menu/extra.yaml b/web/project-website/data/menu/extra.yaml index 804387b2..dbfb0e12 100644 --- 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