comparison sat_frontends/jp/xmlui_manager.py @ 3458:b68346a52920

Backed out changeset 6deea0d8d0e7 This patch has been merged by mistake, it will be applied later.
author Goffi <goffi@goffi.org>
date Thu, 04 Feb 2021 21:07:49 +0100
parents 2f0be2b7de68
children be6d91572633
comparison
equal deleted inserted replaced
3457:6791103de47d 3458:b68346a52920