comparison frontends/src/jp/cmd_pipe.py @ 2224:87fcd4a7c7e4

jp (pubsub): added uri command to build pubsub URI
author Goffi <goffi@goffi.org>
date Sun, 16 Apr 2017 17:59:54 +0200
parents 3e168cde7a7d
children 8b37a62336c3
comparison
equal deleted inserted replaced
2223:c6c9a97ffebf 2224:87fcd4a7c7e4