comparison frontends/src/primitivus/profile_manager.py @ 1220:f91e7028e2c3

memory (params), tools (xml_tools), plugins, frontends: add "int" parameter type with "min" and "max" attributes
author souliane <souliane@mailoo.org>
date Fri, 03 Oct 2014 12:27:43 +0200
parents 49d39b619e5d
children e3a9ea76de35
comparison
equal deleted inserted replaced
1219:16484ebb695b 1220:f91e7028e2c3