[meld] data/ui/patch-dialog.ui: Remove old property

[Kai Willadsen <kaiw src gnome org>]

commit 9dd571ad777e5673401c2d6932e682956d9d7513
Author: Kai Willadsen <kai willadsen gmail com>
Date:   Sat Sep 27 06:21:01 2014 +1000

    data/ui/patch-dialog.ui: Remove old property

 data/ui/patch-dialog.ui |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/data/ui/patch-dialog.ui b/data/ui/patch-dialog.ui
index b31e909..9710e59 100644
--- a/data/ui/patch-dialog.ui
+++ b/data/ui/patch-dialog.ui
@@ -9,7 +9,6 @@
     <property name="type_hint">dialog</property>
     <property name="skip_taskbar_hint">True</property>
     <property name="skip_pager_hint">True</property>
-    <property name="has_separator">False</property>
     <child internal-child="vbox">
       <object class="GtkVBox" id="dialog-vbox3">
         <property name="visible">True</property>