From 708c977d57562a0d156d2c9bf2ae5332417c7bfc Mon Sep 17 00:00:00 2001
From: Michael Fisher <mfisher31@gmail.com>
Date: Sat, 4 Aug 2012 11:33:12 -0500
Subject: [PATCH] Remove unused GDL headers

---
 src/gui/panels/panel.hpp               | 2 --
 src/gui/workspace/workspace-window.cpp | 5 -----
 2 files changed, 7 deletions(-)

diff --git a/src/gui/panels/panel.hpp b/src/gui/panels/panel.hpp
index 23834c0c7..a00b7eb84 100644
--- a/src/gui/panels/panel.hpp
+++ b/src/gui/panels/panel.hpp
@@ -27,12 +27,10 @@
 #ifndef PANEL_HPP
 #define PANEL_HPP
 
-
 #include "gui/gtk-lumiera.hpp"
 #include "gui/widgets/panel-bar.hpp"
 
 #include <gdlmm.h>
-#include <gdl/gdl-dock-item.h>
 
 namespace gui {
 
diff --git a/src/gui/workspace/workspace-window.cpp b/src/gui/workspace/workspace-window.cpp
index 32cc32389..78365847a 100644
--- a/src/gui/workspace/workspace-window.cpp
+++ b/src/gui/workspace/workspace-window.cpp
@@ -30,11 +30,6 @@
 #  include <libintl.h>
 #endif
 
-#include <gdl/gdl-tools.h>
-#include <gdl/gdl-dock.h>
-#include <gdl/gdl-dock-bar.h>
-#include <gdl/gdl-dock-item.h>
-#include <gdl/gdl-dock-placeholder.h>
 
 
 using namespace Gtk;