comparison sat_frontends/tools/misc.py @ 3487:75427f0a5445

primivitus: updated constants following global renaming, config section is now `tui` instead of `primitivus`
author Goffi <goffi@goffi.org>
date Sun, 21 Mar 2021 18:16:52 +0100
parents 559a625a236b
children 80815f2f12cf
comparison
equal deleted inserted replaced
3486:c9703067c700 3487:75427f0a5445