[devhelp] preferences ui: remove deprecated has_separator property from the dialog

[Aleksander Morgado <aleksm src gnome org>]

commit 5a39177db5ddbe0e48131b4c38a44aefeafa8ad6
Author: Aleksander Morgado <aleksander lanedo com>
Date:   Fri Dec 10 01:29:38 2010 +0100

    preferences ui: remove deprecated has_separator property from the dialog

 data/ui/devhelp.builder |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/data/ui/devhelp.builder b/data/ui/devhelp.builder
index 8fa5057..c5bac36 100644
--- a/data/ui/devhelp.builder
+++ b/data/ui/devhelp.builder
@@ -18,7 +18,6 @@
     <property name="default_width">500</property>
     <property name="default_height">300</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>