comparison COPYING @ 2531:1dfc5516dead

frontends (tools/misc): new FlagsHandler class, a simple class to help handling option flags
author Goffi <goffi@goffi.org>
date Wed, 21 Mar 2018 19:07:06 +0100
parents 2a072735e459
children
comparison
equal deleted inserted replaced
2530:0cb32e503aff 2531:1dfc5516dead