From 1f6ab73150f07c88f8dafd27a4b0e2014569297c Mon Sep 17 00:00:00 2001
From: fluxgen <fluxgen>
Date: Sun, 12 Jan 2003 18:51:46 +0000
Subject: [PATCH] removed Windowmenu

---
 src/Workspace.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Workspace.cc b/src/Workspace.cc
index 8c125e4e..c0890434 100644
--- a/src/Workspace.cc
+++ b/src/Workspace.cc
@@ -22,7 +22,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: Workspace.cc,v 1.41 2003/01/12 18:08:05 fluxgen Exp $
+// $Id: Workspace.cc,v 1.42 2003/01/12 18:51:46 fluxgen Exp $
 
 #include "Workspace.hh"
 
@@ -30,7 +30,6 @@
 #include "fluxbox.hh"
 #include "Screen.hh"
 #include "Window.hh"
-#include "Windowmenu.hh"
 #include "StringUtil.hh"
 #include "Slit.hh"