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:
Fri, 27 Mar 2020 09:50:42 +0100 Goffi tools (xl_tools): fixed handling of list options labels