log frontends/src/jp/cmd_param.py @ 1545:b8ee774c12c8

age author description
Mon, 02 Nov 2015 22:02:41 +0100 Goffi jp: renamed “params” command to “param” for consistency with other commands + added a “get” subcommand base frontends/src/jp/cmd_params.py@0b7ede2a0bb0