From 9573bab5cbe2da643f5146e62c176bdd0113d954 Mon Sep 17 00:00:00 2001 From: Gabor Kiss-Vamosi Date: Mon, 7 Jun 2021 21:22:56 +0200 Subject: [PATCH] Update page.html --- docs/_templates/page.html | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/_templates/page.html b/docs/_templates/page.html index 020e39dc5..070d13a74 100644 --- a/docs/_templates/page.html +++ b/docs/_templates/page.html @@ -29,7 +29,9 @@ function add_version_selector() p.innerHTML = ` ` + p.innerHTML;