comparison src/sat.sh @ 754:f021bf27a557

core (xml tools): bad default parameter in XMLUI.addList
author Goffi <goffi@goffi.org>
date Tue, 24 Dec 2013 01:31:18 +0100
parents 952322b1d490
children cbf4122baae7
comparison
equal deleted inserted replaced
753:7f98f53f6997 754:f021bf27a557