comparison sat_frontends/tools/xmlui.py @ 2837:e2005dd39c92

plugin manhole: added "jid" module to globals
author Goffi <goffi@goffi.org>
date Sun, 03 Mar 2019 17:17:07 +0100
parents 442ab697f831
children 5ba98fd6c9a4
comparison
equal deleted inserted replaced
2836:ad00f61fd9f5 2837:e2005dd39c92