Skip to content

Allow changing bot_ai_*

Martin Taibr requested to merge marin-t/bot-badcvar into master

This should let admins tweak the bots to be competitive.

Merge request reports