log frontends/src/jp/cmd_param.py @ 1599:e2ed8009e66e

age author description
Sat, 14 Nov 2015 19:18:10 +0100 Goffi jp: profile session can now be started without connection:
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
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