diff sat_frontends/jp/xmlui_manager.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 442ab697f831
children 18a98a541f7a
line wrap: on
line diff