diff sat_frontends/tools/xmlui.py @ 3378:67e306cae157

jp: don't guess background when stdout is not a tty
author Goffi <goffi@goffi.org>
date Thu, 15 Oct 2020 14:44:42 +0200
parents 559a625a236b
children 1f1741dc3cc4
line wrap: on
line diff