comparison src/sat.sh @ 2435:49884c579266

template (XMLUI): added JidInputWidget
author Goffi <goffi@goffi.org>
date Wed, 15 Nov 2017 08:58:56 +0100
parents 7a07f232e7cb
children a34b4fca16e2
comparison
equal deleted inserted replaced
2434:7fa9456032e7 2435:49884c579266