log sat/tools/xml_tools.py @ 3443:1d12e7a3401d

age author description
Thu, 12 Nov 2020 14:53:15 +0100 Goffi tools (xml_tools): `domish.Element` pretty formatting functions: