diff --git a/docs/_layouts/global.html b/docs/_layouts/global.html index fb808129bb..4ba20e590f 100755 --- a/docs/_layouts/global.html +++ b/docs/_layouts/global.html @@ -9,6 +9,11 @@