log frontends/src/jp/cmd_shell.py @ 2382:a49a19f06e38

age author description
Fri, 08 Sep 2017 07:58:10 +0200 Goffi jp (shell): fixed use of profile + added EOF handling: