log sat/core/sat_main.py @ 3918:e63f96e60f7b

age author description
Sat, 24 Sep 2022 16:08:26 +0200 Goffi core (main): `OrderedDict` is not necesasry here anymore, as `dict` are now ordered