diff frontends/src/jp/cmd_pubsub.py @ 2547:2d69a0afe039

jp: new argument pubsub_default can be used in Commands to replace default value in help string
author Goffi <goffi@goffi.org>
date Sat, 31 Mar 2018 17:10:43 +0200
parents dcc77f23e370
children 1d754bc14381
line wrap: on
line diff