log sat/tools/xml_tools.py @ 3401:5c97ad3d1653

age author description
Thu, 12 Nov 2020 14:53:15 +0100 Goffi tools (xml_tools): `domish.Element` pretty formatting functions:
Thu, 12 Nov 2020 14:53:15 +0100 Goffi tools (xml_tools): added `with_parent` and `with_children` argument to `elementCopy`
Thu, 12 Nov 2020 14:53:15 +0100 Goffi tools(xml_tools): fixed `<div>` unwrapping + added `parse` instance: