http -> https

JohnMount · JohnMount · commit ec4e5ece8baa · 2020-07-20T17:22:27.000-07:00
diff --git a/index.html b/index.html
@@ -41,12 +41,12 @@
     </style>
         </head>
         <body>
-        <fieldset><legend><a href="http://winvector.github.io/index.html">http://winvector.github.io/</a></legend>
+        <fieldset><legend><a href="https://winvector.github.io/index.html">https://winvector.github.io/</a></legend>
          <ul>
 
 <pre>
 
-<a href="http://www.win-vector.com">Win-Vector LLC</a> <a href="https://github.com/WinVector">on Github</a>.
+<a href="https://www.win-vector.com">Win-Vector LLC</a> <a href="https://github.com/WinVector">on Github</a>.
 
 Project sites:
 
