log frontends/src/tools/xmlui.py @ 1240:22adf1eb59f5

age author description
Fri, 03 Oct 2014 12:27:43 +0200 souliane memory (params), tools (xml_tools), plugins, frontends: add "int" parameter type with "min" and "max" attributes