diff browser_side/xmlui.py @ 332:6abd099c7007

browser side: sat_frontends.tools.xml is now called xmltools
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2014 16:49:20 +0100
parents d07b54fdc60a
children e8c26e24a6c7
line wrap: on
line diff