[gnome-control-center] info: Use margin-start/end instead of margin-left/right

[Yosef Or Boczko <yoseforb src gnome org>]

commit d83d7a207cf265b3848dad954b4249eda4212912
Author: Yosef Or Boczko <yoseforb gmail com>
Date:   Tue Nov 19 22:30:06 2013 +0200

    info: Use margin-start/end instead of margin-left/right
    
    https://bugzilla.gnome.org/show_bug.cgi?id=712661

 panels/info/info.ui |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/panels/info/info.ui b/panels/info/info.ui
index dcc9b93..f20d40c 100644
--- a/panels/info/info.ui
+++ b/panels/info/info.ui
@@ -180,8 +180,8 @@
         <property name="can_focus">False</property>
         <property name="border_width">10</property>
         <property name="orientation">vertical</property>
-        <property name="margin-left">6</property>
-        <property name="margin-right">6</property>
+        <property name="margin-start">6</property>
+        <property name="margin-end">6</property>
         <property name="margin-top">6</property>
         <property name="margin-bottom">6</property>
         <child>