Commit graph

2 commits

Author SHA1 Message Date
Action Bot
bb93e1f576 Version picker deployed for v1.37 docs to Github Pages 2023-12-11 14:58:37 +00:00
Andrew Morgan
b0ff61babb Manually add v1.37/index.html
#10242 made it so that the welcome and overview page would be copied
to index.html when generating a docs version. This change landed in
develop however, and did not make it to the release-v1.37 branch.

So we need to do this step manually here, but will not have to in
the future.
2021-06-30 23:49:21 +01:00