log frontends/src/jp/cmd_param.py @ 1596:b7ee113183fc

age author description
2015-11-14 Goffi jp: profile session can now be started without connection:
2015-11-14 Goffi jp: added param/set command
2015-11-14 Goffi jp: optional positional arguments on "param get" command
2015-11-02 Goffi jp: renamed “params” command to “param” for consistency with other commands + added a “get” subcommand base frontends/src/jp/cmd_params.py@0b7ede2a0bb0