comparison src/sat.sh @ 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 61c03265e133
children 7a07f232e7cb
comparison
equal deleted inserted replaced
1645:f1da3a8d08ce 1646:7f0c8856e4e1