]> git.tuebingen.mpg.de Git - lopsub.git/blobdiff - web/header.html
Switch to https.
[lopsub.git] / web / header.html
index 3cf72cc6ed728a30eaf51274f9d4bbab2f2c9b87..c9101d272150684f434d69d26bcac2ed986552aa 100644 (file)
@@ -1,5 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
-   "http://www.w3.org/TR/html4/loose.dtd">
+   "https://www.w3.org/TR/html4/loose.dtd">
 <html>
 <head>
        <meta http-equiv='Content-Type' content='text/html; charset=utf-8'>