Felix Ruess 1dbbf8f97f [python] cleanly shutdown messages_app

2013-04-03 22:01:12 +02:00

..

messages_tool.py

[python] cleanly shutdown messages_app

2013-04-03 22:01:12 +02:00

messages_xml_map.py

…

settings_tool.py

[python] filter returns an iterator in python3, make sure it stays a list

2013-04-03 19:42:00 +02:00

settings_xml_parse.py

[python] fix settingsapp: use generated var/<acname>/settings.xml

2013-04-03 19:31:37 +02:00