From afe0d52fff9f0c5f7571256fceb105fee2f65e1b Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Thu, 23 Feb 2023 10:42:47 +0000 Subject: [PATCH] Deploy to GitHub pages --- ChangeLog-1.1.html | 14 ++++++++++++++ changelogs.html | 1 + searchindex.js | 2 +- 3 files changed, 16 insertions(+), 1 deletion(-) diff --git a/ChangeLog-1.1.html b/ChangeLog-1.1.html index 879fcd4d..493d4a5a 100644 --- a/ChangeLog-1.1.html +++ b/ChangeLog-1.1.html @@ -96,6 +96,7 @@