diff frontends/src/jp/xmlui_manager.py @ 2436:b52e78cc86ed

plugin import: fixed deserialisation of pubsub service
author Goffi <goffi@goffi.org>
date Wed, 15 Nov 2017 21:15:42 +0100
parents c38c54c47e16
children 0046283a285d
line wrap: on
line diff