diff sat_frontends/tools/misc.py @ 3711:358a678e5bdf

core (memory/param): don't crash when getting unset int value
author Goffi <goffi@goffi.org>
date Tue, 30 Nov 2021 17:28:03 +0100
parents 559a625a236b
children 80815f2f12cf
line wrap: on
line diff