comparison src/plugins/plugin_exp_pubsub_hook.py @ 2315:8d9bd5d77336

jp (arg_tools): moved get_cmd_choices, get_use_args and escape to a new arg_tools module, so they can be used in other commands than shell
author Goffi <goffi@goffi.org>
date Sat, 08 Jul 2017 21:45:14 +0200
parents 8fa7edd0da24
children 30278ea1ca7c
comparison
equal deleted inserted replaced
2314:01f0a954d506 2315:8d9bd5d77336