diff src/plugins/plugin_misc_extra_pep.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 33c8c4973743
children
line wrap: on
line diff