diff frontends/src/tools/xmlui.py @ 1039:902c764a0d2b

memory (params): fix parameters of type "list" to use the default option when no individual value is set
author souliane <souliane@mailoo.org>
date Tue, 20 May 2014 09:34:02 +0200
parents d2e612a45e76
children 7a39ae3950f7
line wrap: on
line diff