log frontends/src/jp/arg_tools.py @ 2388:4c883d1c3e81

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