diff sat_frontends/jp/xmlui_manager.py @ 3715:b9718216a1c0 0.9

merge bookmark 0.9
author Goffi <goffi@goffi.org>
date Wed, 01 Dec 2021 16:13:31 +0100
parents 04283582966f
children 53a8b50d69ca
line wrap: on
line diff