comparison sat_frontends/jp/output_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 003b8b4b56a7
children 620bbcec884c
comparison
equal deleted inserted replaced
2836:ad00f61fd9f5 2837:e2005dd39c92