Mercurial > libervia-backend
diff src/stdui/ui_profile_manager.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 | be96beb7ca14 |
children | 8b37a62336c3 |