diff sat_frontends/tools/xmlui.py @ 2914:25f14fbd364e

core: added getNamespace method to retrieve a namespace from short name.
author Goffi <goffi@goffi.org>
date Sun, 14 Apr 2019 08:21:51 +0200
parents 5ba98fd6c9a4
children 5ecce65631a2
line wrap: on
line diff