diff .hgignore @ 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 f2cb99b196b1
children 9f599ccbea4e
line wrap: on
line diff