|
From: Nicholas N. <nj...@ca...> - 2003-12-03 20:39:34
|
CVS commit by nethercote: Added that Valgrind is GPL'd in a couple of prominent spots. M +2 -2 index.html 1.11 M +1 -1 overview.html 1.7 --- devel-home/valgrind/index.html #1.10:1.11 @@ -1,4 +1,4 @@ <?php - $page_title = "A system for debugging and profiling x86-Linux programs"; + $page_title = "A GPL'd system for debugging and profiling x86-Linux programs"; $page_heading = "News"; include "header.inc" @@ -11,5 +11,5 @@ <hr> <p> -<b>Valgrind is a system for debugging and profiling x86-Linux programs.</b> +<b>Valgrind is a GPL'd system for debugging and profiling x86-Linux programs.</b> With the tools that come with Valgrind, you can automatically detect many memory management and threading bugs, avoiding hours of frustrating --- devel-home/valgrind/overview.html #1.6:1.7 @@ -5,5 +5,5 @@ ?> -<b>Valgrind is a system for debugging and profiling x86-Linux programs.</b> +<b>Valgrind is a GPL'd system for debugging and profiling x86-Linux programs.</b> With the tools that come with Valgrind, you can automatically detect many memory management and threading bugs, avoiding hours of frustrating |