|
From: <sv...@va...> - 2014-07-12 09:36:31
|
Author: florian
Date: Sat Jul 12 09:36:23 2014
New Revision: 486
Log:
Fix a typo.
Modified:
trunk/info/platforms.html
Modified: trunk/info/platforms.html
==============================================================================
--- trunk/info/platforms.html (original)
+++ trunk/info/platforms.html Sat Jul 12 09:36:23 2014
@@ -31,7 +31,7 @@
<a name="out_of_tree"></a><h2>Out Of Tree</h2>
<p>The following ports have been done and are maintained outside the
-valgrind repository. Note that they may have
+Valgrind repository. Note that they may have
varying levels of completeness, may not work reliably, and may target
older versions of Valgrind.</p>
|