log sat_frontends/jp/cmd_shell.py @ 2579:787b15d16347

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