[gnome-devel-docs/dx-hackfest: 11/18] platform-overview: Update the Webkit section

[Federico Mena Quintero <federico src gnome org>]

commit b4d47a7876dbbf9ce04e488d9abbd82d4ce93c98
Author: Federico Mena Quintero <federico gnome org>
Date:   Thu Jan 31 16:14:59 2013 +0100

    platform-overview: Update the Webkit section
    
    Signed-off-by: Federico Mena Quintero <federico gnome org>

 platform-overview/C/webkit.page |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/platform-overview/C/webkit.page b/platform-overview/C/webkit.page
index 23dc94c..2d4bf55 100644
--- a/platform-overview/C/webkit.page
+++ b/platform-overview/C/webkit.page
@@ -10,7 +10,7 @@
 <title>WebKit</title>
 
 <p>WebKit is a powerful, multi-platform HTML engine used in open
-source and commercial products. WebKitGTK+ is the port of WebKit
+source and commercial/proprietary products alike. WebKitGTK+ is the port of WebKit
 built on <link xref="gtk">GTK+</link> and integrated into the
 GNOME developer platform. WebKitGTK+ is developed upstream as
 part of the main WebKit project, so it's always up to date with