From 70ea109d6791f5742375c8141f9bb6ba688b39de Mon Sep 17 00:00:00 2001 From: martin-frbg Date: Thu, 12 Sep 2024 13:10:29 +0000 Subject: [PATCH] deploy: 5f70e245a2fffda82ecc1ec63fb7d2a4c8a61b22 --- docs/404.html | 34 ++++++++-------- docs/about/index.html | 38 +++++++++--------- .../assets/javascripts/bundle.56dfad97.min.js | 16 ++++++++ .../javascripts/bundle.56dfad97.min.js.map | 7 ++++ .../assets/javascripts/bundle.fe8b6f2b.min.js | 29 ------------- .../javascripts/bundle.fe8b6f2b.min.js.map | 7 ---- ...b8dbb3d2.min.js => search.07f07601.min.js} | 2 +- ....min.js.map => search.07f07601.min.js.map} | 2 +- docs/assets/stylesheets/main.35f28582.min.css | 1 + .../stylesheets/main.35f28582.min.css.map | 1 + docs/assets/stylesheets/main.3cba04c6.min.css | 1 - .../stylesheets/main.3cba04c6.min.css.map | 1 - docs/build_system/index.html | 38 +++++++++--------- docs/ci/index.html | 38 +++++++++--------- docs/developers/index.html | 38 +++++++++--------- docs/distributing/index.html | 38 +++++++++--------- docs/extensions/index.html | 38 +++++++++--------- docs/faq/index.html | 38 +++++++++--------- docs/index.html | 38 +++++++++--------- docs/install/index.html | 38 +++++++++--------- docs/sitemap.xml | 30 +++++--------- docs/sitemap.xml.gz | Bin 283 -> 262 bytes docs/user_manual/index.html | 38 +++++++++--------- 23 files changed, 244 insertions(+), 267 deletions(-) create mode 100644 docs/assets/javascripts/bundle.56dfad97.min.js create mode 100644 docs/assets/javascripts/bundle.56dfad97.min.js.map delete mode 100644 docs/assets/javascripts/bundle.fe8b6f2b.min.js delete mode 100644 docs/assets/javascripts/bundle.fe8b6f2b.min.js.map rename docs/assets/javascripts/workers/{search.b8dbb3d2.min.js => search.07f07601.min.js} (99%) rename docs/assets/javascripts/workers/{search.b8dbb3d2.min.js.map => search.07f07601.min.js.map} (76%) create mode 100644 docs/assets/stylesheets/main.35f28582.min.css create mode 100644 docs/assets/stylesheets/main.35f28582.min.css.map delete mode 100644 docs/assets/stylesheets/main.3cba04c6.min.css delete mode 100644 docs/assets/stylesheets/main.3cba04c6.min.css.map diff --git a/docs/404.html b/docs/404.html index 5277dcc8a..7454535bf 100644 --- a/docs/404.html +++ b/docs/404.html @@ -12,7 +12,7 @@ - + @@ -20,7 +20,7 @@ - + @@ -42,7 +42,7 @@ - + @@ -86,7 +86,7 @@
@@ -114,7 +114,7 @@ @@ -124,7 +124,7 @@ @@ -132,13 +132,13 @@ - +