diff frontends/src/jp/arg_tools.py @ 2538:0a22dc80d671

jp (base): fixed use_pubsub when pubsub_flags is not needed
author Goffi <goffi@goffi.org>
date Thu, 29 Mar 2018 08:57:27 +0200
parents 0046283a285d
children
line wrap: on
line diff