diff --git a/docs/_layouts/global.html b/docs/_layouts/global.html index b65686c0b1..7114e1f5dd 100755 --- a/docs/_layouts/global.html +++ b/docs/_layouts/global.html @@ -196,6 +196,11 @@ +