From 71a6d932cd2f1bd1e89797862ea5a1b6504242ce Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 1 Jul 2024 09:24:44 +0000 Subject: [PATCH] Deployed a57ca54 to 1.0 with MkDocs 1.6.0 and mike 2.1.2 --- 1.0/index.html | 2 +- 1.0/search/search_index.json | 2 +- latest | 1 + latest/404.html | 18 ------------------ latest/index.html | 18 ------------------ 5 files changed, 3 insertions(+), 38 deletions(-) create mode 120000 latest delete mode 100644 latest/404.html delete mode 100644 latest/index.html diff --git a/1.0/index.html b/1.0/index.html index f8be341..5dab824 100644 --- a/1.0/index.html +++ b/1.0/index.html @@ -250,7 +250,7 @@

Home

-

.main4

+

.main5

diff --git a/1.0/search/search_index.json b/1.0/search/search_index.json index 0e54c13..8b2c9ec 100644 --- a/1.0/search/search_index.json +++ b/1.0/search/search_index.json @@ -1 +1 @@ -{"config":{"lang":["en"],"separator":"[\\s\\-]+","pipeline":["stopWordFilter"]},"docs":[{"location":"","title":"Home","text":"

.main4

"}]} \ No newline at end of file +{"config":{"lang":["en"],"separator":"[\\s\\-]+","pipeline":["stopWordFilter"]},"docs":[{"location":"","title":"Home","text":"

.main5

"}]} \ No newline at end of file diff --git a/latest b/latest new file mode 120000 index 0000000..9f8e9b6 --- /dev/null +++ b/latest @@ -0,0 +1 @@ +1.0 \ No newline at end of file diff --git a/latest/404.html b/latest/404.html deleted file mode 100644 index 473984a..0000000 --- a/latest/404.html +++ /dev/null @@ -1,18 +0,0 @@ - - - - - Redirecting - - - - - Redirecting to ../1.0/404.html... - - diff --git a/latest/index.html b/latest/index.html deleted file mode 100644 index 450f3fb..0000000 --- a/latest/index.html +++ /dev/null @@ -1,18 +0,0 @@ - - - - - Redirecting - - - - - Redirecting to ../1.0/... - -