diff --git a/developer_manual/digging_deeper/profiler.rst b/developer_manual/digging_deeper/profiler.rst index 7a0d4b0b007..9da9af0d7af 100644 --- a/developer_manual/digging_deeper/profiler.rst +++ b/developer_manual/digging_deeper/profiler.rst @@ -11,6 +11,15 @@ The profiler application is available on `GitHub