diff sat_frontends/quick_frontend/quick_list_manager.py @ 3458:b68346a52920

Backed out changeset 6deea0d8d0e7 This patch has been merged by mistake, it will be applied later.
author Goffi <goffi@goffi.org>
date Thu, 04 Feb 2021 21:07:49 +0100
parents 559a625a236b
children
line wrap: on
line diff