diff --git a/doc/diagnostics.html b/doc/diagnostics.html index aaaf9d33e7..36464760ed 100644 --- a/doc/diagnostics.html +++ b/doc/diagnostics.html @@ -17,10 +17,10 @@ Diagnostics solutions can be categorized into the following groups: