diff src/tools/xml_tools.py @ 1646:7f0c8856e4e1

plugin file: deferred XMLUI now use security limit
author Goffi <goffi@goffi.org>
date Sun, 22 Nov 2015 21:25:09 +0100
parents f1da3a8d08ce
children 0fdd8fe34fbf
line wrap: on
line diff