diff sat_frontends/jp/cmd_profile.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 26edcf3a30eb
children 378188abe941
line wrap: on
line diff