diff frontends/src/tools/misc.py @ 2191:a1a8233f89e8

jp(pubsub/get): pubsub/get command, first draft
author Goffi <goffi@goffi.org>
date Sun, 12 Mar 2017 23:34:51 +0100
parents 2daf7b4c6756
children 1dfc5516dead
line wrap: on
line diff