diff sat/core/sat_main.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 6959c71ab8bf
children ab2696e34d29
line wrap: on
line diff