log sat_frontends/tools/misc.py @ 3938:6939594ba77e

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
Wed, 27 Jun 2018 20:14:46 +0200 Goffi code style reformatting using black
Thu, 21 Jun 2018 01:21:44 +0200 Goffi tools (misc): do not remove flags while using them anymore, instead added "all_used" and "unused" properties in FlagsHandler
Mon, 02 Apr 2018 19:44:50 +0200 Goffi core, setup: huge cleaning: base frontends/src/tools/misc.py@e1d00c1b5c9a