diff --git a/docs/html/tools/tools_toc.cs b/docs/html/tools/tools_toc.cs index 72f9f21751580..969ca4ace39a8 100644 --- a/docs/html/tools/tools_toc.cs +++ b/docs/html/tools/tools_toc.cs @@ -205,7 +205,7 @@ class="en">Tools Help