diff --git a/general/profiling.html b/general/profiling.html index e655030eb..ab541289f 100644 --- a/general/profiling.html +++ b/general/profiling.html @@ -58,7 +58,7 @@

What is profiling?

The profiler provides you with a tabbed interface, in which you can find the following information: