mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2024-12-27 12:16:07 +00:00
09f8df86ac
Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com>
12 lines
427 B
YAML
12 lines
427 B
YAML
# Readthedocs redirects
|
|
# See https://docs.readthedocs.io/en/stable/user-defined-redirects.html
|
|
#
|
|
# Changes to this file do not take effect until they are merged into the
|
|
# 'development' branch. This is because the API token (RTD_TOKEN) is not
|
|
# made available in PR jobs - preventing bad actors from crafting PRs to
|
|
# expose it.
|
|
|
|
- type: exact
|
|
from_url: /projects/api/en/latest/$rest
|
|
to_url: /projects/api/en/development/
|