log libervia/tui/keys.py @ 4340:ea72364131d5 default tip @

age author description
Fri, 02 Jun 2023 16:25:25 +0200 Goffi refactoring: rename `libervia.frontends.primitivus` to `libervia.tui` base libervia/frontends/primitivus/keys.py@b8667d1e88e0