diff frontends/src/jp/cmd_ticket.py @ 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 0046283a285d
children
line wrap: on
line diff