diff tools/animation_generator.py @ 514:0cdc727f9f66

Honour the "settings_gui_xml" paramater in the Settings class
author nihathrael@33b003aa-7bff-0310-803a-e67f0ece8222
date Tue, 25 May 2010 13:21:48 +0000
parents 81641655bc38
children
line wrap: on
line diff