diff options
author | johannst <johannst@users.noreply.github.com> | 2025-03-23 23:51:01 +0000 |
---|---|---|
committer | johannst <johannst@users.noreply.github.com> | 2025-03-23 23:51:01 +0000 |
commit | 2cad8341019659a65fc6e94992165b3d7b7a37db (patch) | |
tree | 5cf1b89a1f9ef825661e40adcc599cd3fabb71b3 /trace_profile/index.html | |
parent | b6627f53bf459334446bb1e2c51728a764c8651d (diff) | |
download | notes-gh-pages.tar.gz notes-gh-pages.zip |
deploy: 916b73bee95494c205ba67e4a50e6a525afc3a3cgh-pages
Diffstat (limited to 'trace_profile/index.html')
-rw-r--r-- | trace_profile/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/trace_profile/index.html b/trace_profile/index.html index 870d61b..8866e1f 100644 --- a/trace_profile/index.html +++ b/trace_profile/index.html @@ -165,6 +165,7 @@ <li><a href="./callgrind.html">callgrind</a></li> <li><a href="./valgrind.html">valgrind</a></li> <li><a href="./vtune.html">vtune</a></li> +<li><a href="./tracy.html">tracy</a></li> </ul> </main> |