[gnome-builder] workbench: remove unused header

[Christian Hergert <chergert src gnome org>]

commit ad3a1fe1a4648aabcd5e3dae1ff5920de0734b2a
Author: Christian Hergert <christian hergert me>
Date:   Sun Dec 14 03:36:48 2014 -0800

    workbench: remove unused header

 src/workbench/gb-workbench.h |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/src/workbench/gb-workbench.h b/src/workbench/gb-workbench.h
index 8bca85a..45c05ae 100644
--- a/src/workbench/gb-workbench.h
+++ b/src/workbench/gb-workbench.h
@@ -25,7 +25,6 @@
 #include "gb-document-manager.h"
 #include "gb-navigation-list.h"
 #include "gb-workbench-types.h"
-#include "gb-workspace.h"
 
 G_BEGIN_DECLS