log frontends/src/jp/output_std.py @ 2031:48a61879f9ef

age author description
Sat, 23 Apr 2016 23:10:03 +0200 Goffi jp: --output option: