comparison sat_frontends/tools/xmlui.py @ 3407:2f0be2b7de68

jp: replace `no_lf` argument by `end` in `disp` (same as in `print`)
author Goffi <goffi@goffi.org>
date Thu, 12 Nov 2020 14:53:16 +0100
parents 559a625a236b
children 1f1741dc3cc4
comparison
equal deleted inserted replaced
3406:4c15271118a2 3407:2f0be2b7de68