diff sat_frontends/tools/xmlui.py @ 3433:63d20854df3a

core (constants): added EXIT_CONFLICT
author Goffi <goffi@goffi.org>
date Fri, 04 Dec 2020 12:30:46 +0100
parents 559a625a236b
children 1f1741dc3cc4
line wrap: on
line diff