diff browser_side/base_panels.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 0b7934e75e76
children 2067d6241927
line wrap: on
line diff