diff .hgtags @ 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 755a0b8643bd
children 202e2d8e3d7b
line wrap: on
line diff