log sat_frontends/tools/misc.py @ 2681:263a00e90174

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