diff sat_frontends/jp/base.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 4011e4ee3151
children 75d2ac872965
line wrap: on
line diff