diff --git a/docs/html/tools/tools_toc.cs b/docs/html/tools/tools_toc.cs index 6d82f87e52488..9951330356637 100644 --- a/docs/html/tools/tools_toc.cs +++ b/docs/html/tools/tools_toc.cs @@ -295,7 +295,7 @@ class="en">Support Library