From 22057a59a0c5720c577b92700265fcb27ef792c4 Mon Sep 17 00:00:00 2001 From: TobiasNx <61879957+TobiasNx@users.noreply.github.com> Date: Tue, 9 Apr 2024 21:36:36 +0200 Subject: [PATCH 1/3] Change URL for Documentation Use the github pages url instead of the repo url. --- navigation.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/navigation.html b/navigation.html index d75464e..261bf2b 100644 --- a/navigation.html +++ b/navigation.html @@ -7,7 +7,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  From 1b17a5f45e785860ba0b18a2bf0acc558cfa2b5e Mon Sep 17 00:00:00 2001 From: TobiasNx <61879957+TobiasNx@users.noreply.github.com> Date: Tue, 9 Apr 2024 19:37:00 +0000 Subject: [PATCH 2/3] Add newly generated html files by GitHub Actions. --- getting-started.html | 2 +- ide-extensions/index.html | 2 +- index.html | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/getting-started.html b/getting-started.html index a904b1d..c3d852f 100644 --- a/getting-started.html +++ b/getting-started.html @@ -91,7 +91,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/ide-extensions/index.html b/ide-extensions/index.html index df15761..9fa76c1 100644 --- a/ide-extensions/index.html +++ b/ide-extensions/index.html @@ -29,7 +29,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/index.html b/index.html index 7435843..5f12095 100644 --- a/index.html +++ b/index.html @@ -29,7 +29,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  From b66a212805f51a83d8b02bffdb45052031a11a2a Mon Sep 17 00:00:00 2001 From: Phu Tu Date: Wed, 10 Apr 2024 12:39:14 +0200 Subject: [PATCH 3/3] Replace http links with https --- getting-started.html | 2 +- ide-extensions/index.html | 2 +- index.html | 2 +- navigation.html | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/getting-started.html b/getting-started.html index c3d852f..1c0e0f7 100644 --- a/getting-started.html +++ b/getting-started.html @@ -91,7 +91,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/ide-extensions/index.html b/ide-extensions/index.html index 9fa76c1..1278b1b 100644 --- a/ide-extensions/index.html +++ b/ide-extensions/index.html @@ -29,7 +29,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/index.html b/index.html index 5f12095..4815143 100644 --- a/index.html +++ b/index.html @@ -29,7 +29,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |  diff --git a/navigation.html b/navigation.html index 261bf2b..09c7449 100644 --- a/navigation.html +++ b/navigation.html @@ -7,7 +7,7 @@  |  Getting started  |  - Documentation + Documentation  |  IDE Extensions  |