[gnome-builder/wip/ggit] change-monitor: remove unused function.

[Christian Hergert <chergert src gnome org>]

commit bdc45c7d07328a2cb6f7495bb7cb34315862bfee
Author: Christian Hergert <christian hergert me>
Date:   Sun Sep 28 20:25:37 2014 -0700

    change-monitor: remove unused function.

 src/editor/gb-source-change-monitor.h |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/src/editor/gb-source-change-monitor.h b/src/editor/gb-source-change-monitor.h
index 56805b5..b1bebe9 100644
--- a/src/editor/gb-source-change-monitor.h
+++ b/src/editor/gb-source-change-monitor.h
@@ -63,7 +63,6 @@ void                   gb_source_change_monitor_set_file (GbSourceChangeMonitor
                                                           GFile                 *file);
 GbSourceChangeFlags    gb_source_change_monitor_get_line (GbSourceChangeMonitor *monitor,
                                                           guint                  lineno);
-void                   gb_source_change_monitor_saved    (GbSourceChangeMonitor *monitor);
 
 G_END_DECLS