diff --git a/custom-theme/choose_doc_version.html b/custom-theme/choose_doc_version.html index 1b5fc0f9fc..424824b94a 100644 --- a/custom-theme/choose_doc_version.html +++ b/custom-theme/choose_doc_version.html @@ -1,8 +1,12 @@