log sat_frontends/tools/misc.py @ 4009:48e8b3dba793

age author description
2021-07-29 Goffi frontends (tools/misc): `FlagsHandler.__getitems__` now returns attribute
2020-01-29 Goffi fixed shebangs
2018-06-27 Goffi code style reformatting using black
2018-06-20 Goffi tools (misc): do not remove flags while using them anymore, instead added "all_used" and "unused" properties in FlagsHandler
2018-04-02 Goffi core, setup: huge cleaning: base frontends/src/tools/misc.py@e1d00c1b5c9a