diff sat_frontends/tools/xmlui.py @ 3368:e86b71b1aa31

core: minor typos, docstring/comments update
author Goffi <goffi@goffi.org>
date Sun, 20 Sep 2020 14:05:40 +0200
parents 559a625a236b
children 1f1741dc3cc4
line wrap: on
line diff