diff sat_frontends/tools/xmlui.py @ 2897:82d8243e6ad1

quick frontend (contact list): fixed profile filtering in fill()
author Goffi <goffi@goffi.org>
date Sun, 07 Apr 2019 20:59:34 +0200
parents 5ba98fd6c9a4
children 5ecce65631a2
line wrap: on
line diff