From 754bbf7a25a8dda49b5d08ef0d0443bbf5af0e36 Mon Sep 17 00:00:00 2001 From: Craig Jennings Date: Sun, 7 Apr 2024 13:41:34 -0500 Subject: new repository --- devdocs/gcc~13/gcov-tool.html | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 devdocs/gcc~13/gcov-tool.html (limited to 'devdocs/gcc~13/gcov-tool.html') diff --git a/devdocs/gcc~13/gcov-tool.html b/devdocs/gcc~13/gcov-tool.html new file mode 100644 index 00000000..3fa53d68 --- /dev/null +++ b/devdocs/gcc~13/gcov-tool.html @@ -0,0 +1,6 @@ +

11 gcov-tool—an Offline Gcda Profile Processing Tool

gcov-tool is a tool you can use in conjunction with GCC to manipulate or process gcda profile files offline.

+

+ © Free Software Foundation
Licensed under the GNU Free Documentation License, Version 1.3.
+ https://gcc.gnu.org/onlinedocs/gcc-13.1.0/gcc/Gcov-tool.html +

+
-- cgit v1.2.3