From cbdbba0ab06898cd7ab6d69e33d2db990d8b8799 Mon Sep 17 00:00:00 2001 From: Alexander Kriegisch Date: Thu, 15 Feb 2024 09:36:18 +0700 Subject: Globally replace "http:" by "https:" in non-XML files Maybe, the XML files and Maven wrapper files will follow. First, let us find out if this breaks the build, maybe some tests are asserting on "http:". But there, the replacement would also have taken place, so probably it just works. Signed-off-by: Alexander Kriegisch --- docs/developer/traces/ajc_batchBuild_annotated.htm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/developer/traces/ajc_batchBuild_annotated.htm') diff --git a/docs/developer/traces/ajc_batchBuild_annotated.htm b/docs/developer/traces/ajc_batchBuild_annotated.htm index 50f1062c8..c151a00bd 100644 --- a/docs/developer/traces/ajc_batchBuild_annotated.htm +++ b/docs/developer/traces/ajc_batchBuild_annotated.htm @@ -1,6 +1,6 @@ +xmlns="https://www.w3.org/TR/REC-html40"> -- cgit v1.2.3