log frontends/src/jp/output_std.py @ 2122:3970ebcf8830

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