diff sat_frontends/jp/xmlui_manager.py @ 3195:29d72336a40d

changelog: update
author Goffi <goffi@goffi.org>
date Fri, 28 Feb 2020 18:10:58 +0100
parents 559a625a236b
children 89d97776fd34
line wrap: on
line diff