comparison sat_frontends/tools/xmlui.py @ 3666:342e3ddefd23

plugin pubsub cache: implement `psCacheSearch` rel 361
author Goffi <goffi@goffi.org>
date Wed, 08 Sep 2021 17:58:48 +0200
parents be6d91572633
children 524856bd7b19
comparison
equal deleted inserted replaced
3665:72b0e4053ab0 3666:342e3ddefd23