log sat/plugins/plugin_dbg_manhole.py @ 2831:cd81e9cdeaac

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