log sat/tools/xml_tools.py @ 2745:3ee396b2ecf3

age author description
Thu, 03 Jan 2019 20:49:21 +0100 Goffi tools (xml_tools): isXMLUICancelled helper function to check if an XMLUI has been cancelled from raw XML.