log sat/plugins/plugin_dbg_manhole.py @ 2770:2d353b74010e

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