log frontends/src/jp/cmd_param.py @ 1593:791c45ed8659

age author description
Sat, 14 Nov 2015 19:18:10 +0100 Goffi jp: added param/set command
Sat, 14 Nov 2015 19:18:10 +0100 Goffi jp: optional positional arguments on "param get" command