annotate browser_side/__init__.py @ 335:e8c26e24a6c7

browser side: refactored XMLUI to use the new sat_frontends.tools.xmlui.XMLUI class, first draft
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2014 16:49:20 +0100
parents c725b702e927
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source