diff sat_frontends/jp/output_std.py @ 2601:12bf089f0bf3

jp (output): new OUPUT_XMLUI and OUTPUT_LIST_XMLUI outputs
author Goffi <goffi@goffi.org>
date Fri, 01 Jun 2018 12:15:38 +0200
parents 26edcf3a30eb
children 56f94936df1e
line wrap: on
line diff