comparison libervia/web/server/pages_tools.py @ 1548:66aa6e140ebb

browser: make `jid_search` more generic: rel 423
author Goffi <goffi@goffi.org>
date Wed, 09 Aug 2023 00:22:16 +0200
parents eb00d593801d
children
comparison
equal deleted inserted replaced
1547:383e1fee29f6 1548:66aa6e140ebb