galaxykate/BotPrintEvolved — pull request #45 by galaxykate (2014-05-15 03:53:13+00:00)
Title: Galaxykate arenasettings

Added various arena settings, although the arena-selector does not actually load a new arena.