diff sat_frontends/jp/xmlui_manager.py @ 2709:46f2733a2a9b

tools (common/data_format): use "default" in json.dumps in serialise (useful notably to serialise jid.JID)
author Goffi <goffi@goffi.org>
date Sat, 01 Dec 2018 14:34:55 +0100
parents bdb8276fd2da
children e8dc00f612fb
line wrap: on
line diff