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/teaching/demos/oopsla2002-script.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/teaching/demos/oopsla2002-script.html') diff --git a/docs/teaching/demos/oopsla2002-script.html b/docs/teaching/demos/oopsla2002-script.html index 310505196..d0017db72 100644 --- a/docs/teaching/demos/oopsla2002-script.html +++ b/docs/teaching/demos/oopsla2002-script.html @@ -1,6 +1,6 @@ +xmlns="https://www.w3.org/TR/REC-html40"> -- cgit v1.2.3