log sat_frontends/tools/xmlui.py @ 3533:4b33ed5abd8f

age author description
Fri, 19 Mar 2021 15:45:14 +0100 Goffi date update