comparison frontends/src/tools/xmlui.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 1378ec04380f
children 681fe91abcc0
comparison
equal deleted inserted replaced
1645:f1da3a8d08ce 1646:7f0c8856e4e1