diff options
| author | Eric Engestrom <eric@engestrom.ch> | 2017-02-09 02:10:17 +0000 |
|---|---|---|
| committer | Eric Engestrom <eric@engestrom.ch> | 2017-02-09 11:28:15 +0000 |
| commit | 30cf9ffb595b0fb7aeb2867d704ae9016b29fca2 (patch) | |
| tree | 55ed8a1fd075c7b30763ede659eb38dcf4220e91 /docs/contents.html | |
| parent | 2b0fe3cff7c8620b19a9fe316e290c21258759ad (diff) | |
docs: https all the links \o/
Most of them already redirected to https anyway, so we might as well
avoid the redirection and the security implications by linking directly
to the right protocol.
Signed-off-by: Eric Engestrom <eric@engestrom.ch>
Reviewed-by: Brian Paul <brianp@vmware.com>
Diffstat (limited to 'docs/contents.html')
| -rw-r--r-- | docs/contents.html | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/contents.html b/docs/contents.html index f56501f1551..33bf51dccb1 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -53,7 +53,7 @@ <li><a href="lists.html" target="_parent">Mailing Lists</a> <li><a href="bugs.html" target="_parent">Bug Database</a> <li><a href="webmaster.html" target="_parent">Webmaster</a> -<li><a href="http://dri.freedesktop.org/" target="_parent">Mesa/DRI Wiki</a> +<li><a href="https://dri.freedesktop.org/" target="_parent">Mesa/DRI Wiki</a> </ul> <b>User Topics</b> @@ -89,16 +89,16 @@ <b>Links</b> <ul> -<li><a href="http://www.opengl.org" target="_parent">OpenGL website</a> -<li><a href="http://dri.freedesktop.org" target="_parent">DRI website</a> -<li><a href="http://www.freedesktop.org" target="_parent">freedesktop.org</a> -<li><a href="http://planet.freedesktop.org" target="_parent">Developer blogs</a> +<li><a href="https://www.opengl.org" target="_parent">OpenGL website</a> +<li><a href="https://dri.freedesktop.org" target="_parent">DRI website</a> +<li><a href="https://www.freedesktop.org" target="_parent">freedesktop.org</a> +<li><a href="https://planet.freedesktop.org" target="_parent">Developer blogs</a> </ul> <b>Hosted by:</b> <br> <blockquote> -<a href="http://freedesktop.org" target="_parent">freedesktop.org</a> +<a href="https://freedesktop.org" target="_parent">freedesktop.org</a> </blockquote> </body> |