diff sat_frontends/quick_frontend/quick_list_manager.py @ 3163:d10b2368684e

bridge: added methods to let frontends store/retrieve/delete private data
author Goffi <goffi@goffi.org>
date Mon, 10 Feb 2020 22:01:53 +0100
parents 559a625a236b
children
line wrap: on
line diff