diff 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
line wrap: on
line diff