log sat_frontends/jp/xmlui_manager.py @ 3458:b68346a52920

age author description
Thu, 12 Nov 2020 14:53:16 +0100 Goffi jp: replace `no_lf` argument by `end` in `disp` (same as in `print`)