|Subject:||Re: [Bug-gnubg] gnubg without gui|
|Date:||Fri, 9 Jun 2006 21:24:30 +0200|
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.
|[Prev in Thread]||Current Thread||[Next in Thread]|