diff sat_frontends/quick_frontend/quick_list_manager.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
line wrap: on
line diff