log libervia/tui/profile_manager.py @ 4272:89a0999884ac 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/profile_manager.py@697bc30d65a4