comparison sat_frontends/primitivus/config.py @ 2615:b4ecbcc2fd08

tools (misc): do not remove flags while using them anymore, instead added "all_used" and "unused" properties in FlagsHandler
author Goffi <goffi@goffi.org>
date Thu, 21 Jun 2018 01:21:44 +0200
parents 26edcf3a30eb
children 56f94936df1e
comparison
equal deleted inserted replaced
2614:a5b96950b81a 2615:b4ecbcc2fd08