diff sat_frontends/jp/xmlui_manager.py @ 2698:5060cbeec01e

core: minor style/typos fixes
author Goffi <goffi@goffi.org>
date Sat, 01 Dec 2018 10:04:17 +0100
parents bdb8276fd2da
children e8dc00f612fb
line wrap: on
line diff