|
From: Nicholas N. <nj...@ca...> - 2004-01-31 00:12:02
|
CVS commit by nethercote: Renaming "Related Tools" --> "Related Projects" to avoid confusion with our specific use of the word "tool". M +1 -1 menu.inc 1.10 M +3 -3 related.html 1.6 --- devel-home/valgrind/menu.inc #1.9:1.10 @@ -6,5 +6,5 @@ <dt><a href="tools.html"> Tools</a> <dt><a href="users.html"> Users</a> -<dt><a href="related.html"> Related Tools</a> +<dt><a href="related.html"> Related Projects</a> <p> <dt><b>Code</b> --- devel-home/valgrind/related.html #1.5:1.6 @@ -1,5 +1,5 @@ <?php - $page_title = "Related Tools"; - $page_heading = "Related Tools"; + $page_title = "Related Projects"; + $page_heading = "Related Projects"; include "header.inc" ?> @@ -40,5 +40,5 @@ <h3>Graphical Front-Ends</h3> -Several graphical front-ends have been built for Valgrind tools. These +Several graphical front-ends have been built for Valgrind. These are the ones we know about. |