log sat/plugins/plugin_dbg_manhole.py @ 2822:5284be4c601b

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