comparison sat_frontends/quick_frontend/quick_list_manager.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 56f94936df1e
children 559a625a236b
comparison
equal deleted inserted replaced
2836:ad00f61fd9f5 2837:e2005dd39c92