Eric House e8bb624b0b add preference checkbox for hiding newgame buttons (which are ... duplicated by menu items)		2014-12-29 07:02:56 -08:00
..
R.java	add preference checkbox for hiding newgame buttons (which are	2014-12-29 07:02:56 -08:00