08b9f7ebb8
The non-encrypted urls are just redirecting to https, so we can save one roundtrip by linking the encrypted versions directly. Change-Id: I88fe8b8c8ccfb5471f59f7898a69bf62cb6cfcaf |
||
---|---|---|
.. | ||
developer | ||
specs | ||
user_guide | ||
ci.md | ||
conf.py | ||
elements | ||
elements.rst | ||
index.rst |