diff src/tools/xml_tools.py @ 695:ddd2781bdd8c

plugin text syntaxes: fixed missing import
author Goffi <goffi@goffi.org>
date Tue, 12 Nov 2013 14:51:32 +0100
parents 969562c4761b
children f021bf27a557
line wrap: on
line diff