diff sat_frontends/tools/xmlui.py @ 3417:bfe9ebd253a7

plugin app manager: fixed `public_url` value check
author Goffi <goffi@goffi.org>
date Sat, 14 Nov 2020 21:20:48 +0100
parents 559a625a236b
children 1f1741dc3cc4
line wrap: on
line diff