log sat_frontends/jp/base.py @ 2635:eecd84a2530a

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