log sat_frontends/tools/misc.py @ 3800:2033fa3c5b85

age author description
Thu, 29 Jul 2021 22:51:01 +0200 Goffi frontends (tools/misc): `FlagsHandler.__getitems__` now returns attribute
Wed, 29 Jan 2020 10:07:00 +0100 Goffi fixed shebangs