Then I'll attempt a full removal of USE_GUI, USE_EXT, xboard, xgame and the ext lib. I'll turn USE GUI into USE_GTK2 as we want to keep all of those.
Christian. _______________________________________________ Bug-gnubg mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnubg
