noio/Domination-Game — Issue #24: Improve agent naming
Author: noio
Created: 2012-02-19 14:46:59+00:00
State: open

Find a more consistent way to extract agent names, and show it in the GUI as well.