# HG changeset patch
# User diego
# Date 1188382475 0
# Node ID ae8a5c3a32111e047e29363fc62ebdecd803b1b9
# Parent  6b0e5503ca7af5fbb03940260a4f2422629a4c29
Remove unused extern int declaration.

diff -r 6b0e5503ca7a -r ae8a5c3a3211 gui/wm/ws.h
--- a/gui/wm/ws.h	Wed Aug 29 10:12:24 2007 +0000
+++ b/gui/wm/ws.h	Wed Aug 29 10:14:35 2007 +0000
@@ -187,7 +187,6 @@
 extern int                  wsBlueMask;
 
 extern int                  wsUseXShm;
-extern int                  wsUseDGA;
 
 // ----------------------------------------------------------------------------------------------
 //  wsKeyTable