diff sat_frontends/tools/xmlui.py @ 3012:2224fbbd45dd

memory (disco): fixed boolean to string conversion
author Goffi <goffi@goffi.org>
date Thu, 18 Jul 2019 20:26:49 +0200
parents 5ecce65631a2
children ab2696e34d29
line wrap: on
line diff