comparison frontends/src/jp/cmd_identity.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 0046283a285d
children
comparison
equal deleted inserted replaced
2546:48820e4a1f8a 2547:2d69a0afe039