diff sat/core/patches.py @ 2741:1797671827b9

tools (xml_tools): isXMLUICancelled helper function to check if an XMLUI has been cancelled from raw XML.
author Goffi <goffi@goffi.org>
date Thu, 03 Jan 2019 20:49:21 +0100
parents 1ecceac3df96
children 00d905e1b0ef
line wrap: on
line diff