log sat/core/sat_main.py @ 3916:40d47cc29ea4

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