log sat/plugins/plugin_dbg_manhole.py @ 3121:040ca99e25fe

age author description
Fri, 06 Dec 2019 15:19:31 +0100 Goffi plugin manhole: fixed default value
Tue, 13 Aug 2019 19:08:41 +0200 Goffi Python 3 port:
Sun, 03 Mar 2019 17:17:07 +0100 Goffi plugin manhole: added "jid" module to globals
Fri, 04 Jan 2019 18:59:24 +0100 Goffi plugin manhole: manhole debug plugin, first draft: