diff frontends/src/tools/xmlui.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 cbf3af02e941
children 5defafc8ede6
line wrap: on
line diff