log sat/plugins/plugin_dbg_manhole.py @ 2764:92af49cde255

age author description
Fri, 04 Jan 2019 18:59:24 +0100 Goffi plugin manhole: manhole debug plugin, first draft: