diff --git a/docs/_layouts/global.html b/docs/_layouts/global.html index 627ed37de4a9c..c2e1a18090f6c 100755 --- a/docs/_layouts/global.html +++ b/docs/_layouts/global.html @@ -91,10 +91,11 @@