diff src/tools/xml_tools.py @ 665:6a64e0a759e6

plugin text syntaxes: this plugin manage rich text syntaxes conversions and cleaning.
author Goffi <goffi@goffi.org>
date Tue, 05 Nov 2013 22:40:46 +0100
parents 69a8bfd266a5
children 969562c4761b
line wrap: on
line diff