diff sat_frontends/bridge/pb.py @ 3604:80815f2f12cf

frontends (tools/misc): `FlagsHandler.__getitems__` now returns attribute
author Goffi <goffi@goffi.org>
date Thu, 29 Jul 2021 22:51:01 +0200
parents d71a163c0861
children 3c7a64d6f49f
line wrap: on
line diff