diff sat_frontends/tools/xmlui.py @ 3269:1352564e0202

core (constants): added `theme` key
author Goffi <goffi@goffi.org>
date Mon, 18 May 2020 23:30:55 +0200
parents 559a625a236b
children 1f1741dc3cc4
line wrap: on
line diff