Charles Dang b2df837d8e Hide AIs with hidden=yes from list of available AI options (fixes #2095)
This is enough to hide them as AI options in the UI, but I don't know if other parts of the AI
engine need to know about this key.
2017-10-11 08:41:38 +11:00
..