From c1a5bc91d737d607c468e2c450518ff2dd7a3051 Mon Sep 17 00:00:00 2001
From: Cole Robinson <crobinso@redhat.com>
Date: Mon, 24 Jun 2013 12:47:31 -0400
Subject: [PATCH] details: Remove redundant separator

---
 ui/vmm-details.ui | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/ui/vmm-details.ui b/ui/vmm-details.ui
index 8da5b3263..81c2d5380 100644
--- a/ui/vmm-details.ui
+++ b/ui/vmm-details.ui
@@ -307,12 +307,6 @@
                         <signal name="activate" handler="on_details_menu_migrate_activate" swapped="no"/>
                       </object>
                     </child>
-                    <child>
-                      <object class="GtkSeparatorMenuItem" id="separator12">
-                        <property name="visible">True</property>
-                        <property name="can_focus">False</property>
-                      </object>
-                    </child>
                     <child>
                       <object class="GtkMenuItem" id="details-menu-delete">
                         <property name="visible">True</property>