diff --git a/docs/_layouts/global.html b/docs/_layouts/global.html index 09f7018262..d6548f0fa9 100755 --- a/docs/_layouts/global.html +++ b/docs/_layouts/global.html @@ -110,7 +110,7 @@