diff sat_frontends/bridge/pb.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 4e130cc9bfc0
children e347e32aa07f
line wrap: on
line diff