From c7b0396a37dbfa33749d4d1a9a6c29d8fa43eae6 Mon Sep 17 00:00:00 2001
From: Github Actions <>
Date: Tue, 18 Jan 2022 20:42:16 +0000
Subject: [PATCH] Generate documentation
---
master.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/master.html b/master.html
index 9348887a..6cb6d854 100644
--- a/master.html
+++ b/master.html
@@ -254,7 +254,7 @@