[gedit] Remove has-separator property. It is deprecated.

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 23c0404dbddfbeb37f7c90f522dc6b58e45a61e0
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sat Jan 22 18:24:05 2011 +0100

    Remove has-separator property. It is deprecated.

 plugins/docinfo/gedit-docinfo-plugin.ui |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/plugins/docinfo/gedit-docinfo-plugin.ui b/plugins/docinfo/gedit-docinfo-plugin.ui
index 28bbe79..0ad9830 100644
--- a/plugins/docinfo/gedit-docinfo-plugin.ui
+++ b/plugins/docinfo/gedit-docinfo-plugin.ui
@@ -8,7 +8,6 @@
     <property name="resizable">False</property>
     <property name="destroy_with_parent">True</property>
     <property name="type_hint">dialog</property>
-    <property name="has_separator">False</property>
     <child internal-child="vbox">
       <object class="GtkVBox" id="dialog-vbox1">
         <property name="visible">True</property>