diff --git a/website/layouts/docs.erb b/website/layouts/docs.erb index 40cd06b06..708d609df 100644 --- a/website/layouts/docs.erb +++ b/website/layouts/docs.erb @@ -493,6 +493,10 @@ local-exec +