From e5cf4300fbc9cc036c011fd77e9d0cc078ed3904 Mon Sep 17 00:00:00 2001 From: Jeroen ter Heerdt Date: Tue, 30 Jul 2024 17:16:28 -0700 Subject: [PATCH] Update navigation.html --- docs/_includes/navigation.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/_includes/navigation.html b/docs/_includes/navigation.html index 8088c38..c7a04af 100644 --- a/docs/_includes/navigation.html +++ b/docs/_includes/navigation.html @@ -1,6 +1,6 @@