log sat_frontends/primitivus/constants.py @ 3746:fa3dc4ed7906

age author description
Sun, 21 Mar 2021 18:16:52 +0100 Goffi primivitus: updated constants following global renaming, config section is now `tui` instead of `primitivus`