From bc97bd0de2f4c329a0349f2f9de96c42cefae4c0 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Tue, 9 Aug 2022 17:57:45 +0000 Subject: [PATCH] Deploy to GitHub pages --- ChangeLog-1.1.html | 11 +++++++++++ changelogs.html | 1 + searchindex.js | 2 +- 3 files changed, 13 insertions(+), 1 deletion(-) diff --git a/ChangeLog-1.1.html b/ChangeLog-1.1.html index 1154d48f..9c4efe65 100644 --- a/ChangeLog-1.1.html +++ b/ChangeLog-1.1.html @@ -96,6 +96,7 @@