log sat_frontends/jp/cmd_shell.py @ 2562:26edcf3a30eb

age author description
2018-04-02 Goffi core, setup: huge cleaning: base frontends/src/jp/cmd_shell.py@5a805f868877