fix 9_functional redirect (#10067)

CHANGELOG_BEGIN
CHANGELOG_END
This commit is contained in:
Gary Verhaegen 2021-06-21 19:11:23 +02:00 committed by GitHub
parent fb757d8ed9
commit 39a5890b50
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -811,7 +811,7 @@ getting-started/quickstart.html -> /getting-started/index.html
app-dev/authentication.html -> /app-dev/authorization.html
daml/intro/2_Scenario.html -> /daml/intro/2_DamlScript.html
daml/intro/8_Dependencies.html -> /daml/intro/9_Dependencies.html
daml/intro/9_Functional101.html -> /daml/intro/10_Dependencies.html
daml/intro/9_Functional101.html -> /daml/intro/10_Functional101.html
daml/intro/10_StdLib.html -> /daml/intro/11_StdLib.html
daml/intro/11_Testing.html -> /daml/intro/12_Testing.html
daml-script/daml-script-docs.html -> /daml-script/api/index.html