log sat/plugins/plugin_dbg_manhole.py @ 2834:6cd3549e8d67

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