diff bin/sat @ 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 26edcf3a30eb
children ab2696e34d29
line wrap: on
line diff