log sat_frontends/jp/xml_tools.py @ 3117:385fdd684f87

age author description
Tue, 13 Aug 2019 19:08:41 +0200 Goffi Python 3 port: