diff options
author | Andrey Andreev <narf@devilix.net> | 2018-06-01 16:07:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-01 16:07:32 +0200 |
commit | b1769f962d74adff766666e2b3e055191bf94b63 (patch) | |
tree | 3af32c2d6350f870479fd8515e40b8f3a06d5b98 /user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | |
parent | 67cf9daa7857917dce389befd9605609f7e65bcf (diff) | |
parent | 52a87e506d4fc70bd5922b07a532852d28f28ab6 (diff) |
[ci skip] Merge pull request #5503 from mehdibo/http-to-https
http:// to https://
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/layout.html')
-rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html index 20ede7d32..908590ebf 100644 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html @@ -70,7 +70,7 @@ {%- endblock %} {%- block extrahead %} {% endblock %} - {# Keep modernizr in head - http://modernizr.com/docs/#installing #} + {# Keep modernizr in head - https://modernizr.com/docs/#installing #} <script src="https://cdnjs.cloudflare.com/ajax/libs/modernizr/2.6.2/modernizr.min.js"></script> </head> |