diff frontends/src/jp/cmd_info.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 54cd05f68c7c
children 6ec513ad92c2
line wrap: on
line diff