diff .hgtags @ 808:d035c662b357

frontends: some modifications to ease the the use of the new sat_frontends.tools.xmlui.XMLUI class in Libervia
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2014 18:32:33 +0100
parents 1524c2c07256
children 79ef977cda36
line wrap: on
line diff