log sat/plugins/plugin_dbg_manhole.py @ 3081:fd593b448bee

age author description
2019-08-13 Goffi Python 3 port:
2019-03-03 Goffi plugin manhole: added "jid" module to globals
2019-01-04 Goffi plugin manhole: manhole debug plugin, first draft: