log sat_frontends/tools/misc.py @ 3486:c9703067c700

age author description
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