comparison sat_frontends/jp/xmlui_manager.py @ 3110:3fcc99b2d6b7

core (sat_main): avoid double init + log version
author Goffi <goffi@goffi.org>
date Fri, 10 Jan 2020 10:22:46 +0100
parents d909473a76cc
children 9d0df638c8b4
comparison
equal deleted inserted replaced
3109:6844b2d18eba 3110:3fcc99b2d6b7