diff --git a/docs/_layouts/global.html b/docs/_layouts/global.html index d44639227665d..9b7c469246165 100755 --- a/docs/_layouts/global.html +++ b/docs/_layouts/global.html @@ -7,6 +7,8 @@