diff src/tools/xml_tools.py @ 2093:cbf3af02e941

frontends(xmlui): better handling of missing _xmluiAppend
author Goffi <goffi@goffi.org>
date Sun, 18 Dec 2016 10:15:57 +0100
parents c2fdee1bd908
children 70f23bc7859b
line wrap: on
line diff