From 0d7aaa849521d7eacea864b44fdfb8df7542ff91 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Sun, 6 Oct 2024 00:11:34 +0000 Subject: [PATCH] Added navbar and removed insert_navbar.sh --- dev/index.html | 4 ++-- v0.4.5/index.html | 4 ++-- v0.4.5/search/index.html | 4 ++-- v0.4.6/index.html | 4 ++-- v0.4.6/search/index.html | 4 ++-- v0.4.7/index.html | 4 ++-- v0.4.7/search/index.html | 4 ++-- v0.5.0/index.html | 4 ++-- v0.5.0/search/index.html | 4 ++-- v1.0.0/index.html | 4 ++-- v1.0.0/search/index.html | 4 ++-- v1.1.0/index.html | 4 ++-- v1.1.0/search/index.html | 4 ++-- v2.0.0/index.html | 4 ++-- v2.0.0/search/index.html | 4 ++-- 15 files changed, 30 insertions(+), 30 deletions(-) diff --git a/dev/index.html b/dev/index.html index 23b2dc9..859da6a 100644 --- a/dev/index.html +++ b/dev/index.html @@ -258,7 +258,7 @@