diff --git a/docs/utilities.html b/docs/utilities.html index 8dd1df08ee0..062cdc5c1a8 100644 --- a/docs/utilities.html +++ b/docs/utilities.html @@ -9,19 +9,25 @@

Development Utilities

- +
Valgrind
+
is a very useful tool for tracking down + memory-related problems in your code.
+