From 0ad5c59e24e7102b6bf163b862f1737f5305c6d2 Mon Sep 17 00:00:00 2001 From: albert-github Date: Wed, 2 Dec 2020 16:21:30 +0100 Subject: [PATCH] Referencing non existing file File slipped in, undoing (is in PR #5236) --- Documentation/doc/resources/1.8.20/footer.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Documentation/doc/resources/1.8.20/footer.html b/Documentation/doc/resources/1.8.20/footer.html index a51402dda01..cd9ad4553bc 100644 --- a/Documentation/doc/resources/1.8.20/footer.html +++ b/Documentation/doc/resources/1.8.20/footer.html @@ -7,13 +7,13 @@ move the footer to the bottom of the page. -->