From 69a08605cba02401ae6ec55b8578f7e03e7ab74c Mon Sep 17 00:00:00 2001 From: Lukas Werling Date: Tue, 20 Mar 2018 21:59:47 +0100 Subject: [PATCH] docs: Change http:// links to https --- docs/header.xml | 28 ++++++++++++++-------------- docs/search.php | 4 ++-- 2 files changed, 16 insertions(+), 16 deletions(-) diff --git a/docs/header.xml b/docs/header.xml index b2620e937..db22e3a04 100644 --- a/docs/header.xml +++ b/docs/header.xml @@ -3,17 +3,17 @@ Unfortunately, xml documents can only have one root, so there needs to be a dumm header is an appropiate html element, so it's arbitrarily chosen. clonk.xsl also uses it to match the processing for it. -->
- +