comparison libervia/tui/profile_manager.py @ 4203:4af030d4d3d8

frontends (tools): module to handle display servers: rel 433
author Goffi <goffi@goffi.org>
date Tue, 16 Jan 2024 10:41:58 +0100
parents b620a8e882e1
children
comparison
equal deleted inserted replaced
4202:b26339343076 4203:4af030d4d3d8