diff sat_frontends/jp/arg_tools.py @ 3466:80f8635dc66e

tools (xml_tools): fix pFmtElt: default URI was not handled correctly, and attributes were missing, this patch fixes those bugs.
author Goffi <goffi@goffi.org>
date Fri, 19 Feb 2021 15:53:25 +0100
parents 559a625a236b
children be6d91572633
line wrap: on
line diff