log sat/tools/xml_tools.py @ 3395:d6a482a78bda

age author description
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: