[gitg] Remove unused method 'append_separator()'

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 20031573740af8c80106f889d95df045de6b962a
Author: Techlive Zheng <techlivezheng gmail com>
Date:   Mon Jun 3 15:00:06 2013 +0800

    Remove unused method 'append_separator()'

 plugins/history/gitg-history-navigation.vala |    8 --------
 1 files changed, 0 insertions(+), 8 deletions(-)
---
diff --git a/plugins/history/gitg-history-navigation.vala b/plugins/history/gitg-history-navigation.vala
index 8f8a8ef..87b7c82 100644
--- a/plugins/history/gitg-history-navigation.vala
+++ b/plugins/history/gitg-history-navigation.vala
@@ -336,14 +336,6 @@ namespace GitgHistory
                        return this;
                }
 
-               private Navigation append_separator()
-               {
-                       Gtk.TreeIter iter;
-                       append("", null, null, Hint.SEPARATOR, null, out iter);
-
-                       return this;
-               }
-
                private Navigation begin_header(string text,
                                                string? icon_name)
                {