chiark / gitweb /
Added an `interactive' flag to new_game_desc(), which toggles Mines