comparison browser_side/menu.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 4f221f34bdc7
children 629c99bbd031
comparison
equal deleted inserted replaced
331:06a48d805547 332:6abd099c7007