From f038f5e1c805dbe0fa881679fe90115cdb7504e7 Mon Sep 17 00:00:00 2001 From: Yang Shi Date: Mon, 18 May 2020 15:19:15 -0700 Subject: [PATCH] make global search default version the same as website version --- docs/static_site/src/_includes/header.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/static_site/src/_includes/header.html b/docs/static_site/src/_includes/header.html index 30f7bccf4689..7fe71c32aa81 100644 --- a/docs/static_site/src/_includes/header.html +++ b/docs/static_site/src/_includes/header.html @@ -41,14 +41,14 @@