comparison 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
comparison
equal deleted inserted replaced
3714:af09b5aaa5d7 3715:b9718216a1c0