log demos/rio_de_hola/scripts/agents/agent.py @ 697:ecaa4d98f05f tip

age author description
Fri, 14 May 2010 17:37:42 +0000 prock Combined the settings extension with the editor settings module. It is now a little more robust. Note that the settings file format has changed.