From 3487b241b43c2d7dc9b7745642d7b2c339742855 Mon Sep 17 00:00:00 2001 From: Jeroen ter Heerdt Date: Wed, 31 Jul 2024 08:42:15 -0700 Subject: [PATCH] updating nav --- docs/_includes/navigation.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/_includes/navigation.html b/docs/_includes/navigation.html index 8088c38..1b35115 100644 --- a/docs/_includes/navigation.html +++ b/docs/_includes/navigation.html @@ -1,7 +1,7 @@