comparison frontends/src/jp/cmd_file.py @ 2538:0a22dc80d671

jp (base): fixed use_pubsub when pubsub_flags is not needed
author Goffi <goffi@goffi.org>
date Thu, 29 Mar 2018 08:57:27 +0200
parents 842bd1594077
children
comparison
equal deleted inserted replaced
2537:8cf58a415126 2538:0a22dc80d671