diff sat_frontends/jp/output_std.py @ 4010:818db4ca3717

tools (xml_tools): accept several namespaces in `findAncestor`
author Goffi <goffi@goffi.org>
date Thu, 16 Mar 2023 16:43:08 +0100
parents f4c02bdb2d91
children 4b842c1fb686
line wrap: on
line diff