From be3891234cca7e100a56ccd9b68ab37b3403e0fd Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Mon, 3 Dec 2018 09:36:08 -0800 Subject: [PATCH] doc: fix wrong 1.12 doc links [ci skip] --- site/js/site.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/site/js/site.js b/site/js/site.js index b00438c81..5abaa69e1 100644 --- a/site/js/site.js +++ b/site/js/site.js @@ -12,7 +12,7 @@ function addDocVersions() { var newpage = page=='manual' ? page : topic; $('.docversions').html('Available versions: \ dev \ -| 1.12 \ +| 1.12 \ | 1.11 \ | 1.10 \ | 1.9 \