Index: gnome/platform/gnome-desktop.xml
===================================================================
--- gnome/platform/gnome-desktop.xml (revision 00637e128bd45d9f4911f4e69e5cb0acfe16b39f)
+++ gnome/platform/gnome-desktop.xml (revision d3717bff725c32c2070108cdfb45d258cf320476)
@@ -9,5 +9,5 @@
-
+
Index: gnome/platform/vte.xml
===================================================================
--- gnome/platform/vte.xml (revision 00637e128bd45d9f4911f4e69e5cb0acfe16b39f)
+++ gnome/platform/vte.xml (revision d3717bff725c32c2070108cdfb45d258cf320476)
@@ -7,8 +7,8 @@
-
-
-
-
+
+
+
+
@@ -86,6 +86,7 @@
Recommended
- ,
- , and
+ ,
+ ,
+ , and