diff src/tools/xml_tools.py @ 2106:5874da3811b7

plugin text syntaxes: log error on cleanXHTML failure
author Goffi <goffi@goffi.org>
date Sun, 01 Jan 2017 16:38:32 +0100
parents c2fdee1bd908
children 70f23bc7859b
line wrap: on
line diff