# HG changeset patch # User diego # Date 1207935917 0 # Node ID 204178f10efa458bfadd69a558c9d4e3b7295c0c # Parent cc260b44c15411150a0ab069281aa3188ca0016c Remove unused make variable. diff -r cc260b44c154 -r 204178f10efa configure --- a/configure Fri Apr 11 17:45:02 2008 +0000 +++ b/configure Fri Apr 11 17:45:17 2008 +0000 @@ -7837,7 +7837,6 @@ HAVE_VIS = $_vis # --- GUI stuff --- -GUI = $_gui GUI_GTK = $_gui_gtk GUI_WIN32 = $_gui_win32