comparison sat/plugins/plugin_dbg_manhole.py @ 3113:b067736d5099

quick frontend (app): removed workaround for pyjamas
author Goffi <goffi@goffi.org>
date Fri, 17 Jan 2020 15:27:39 +0100
parents 9211c0d8b50c
children 2b0f739f8a46
comparison
equal deleted inserted replaced
3112:91891a108d6f 3113:b067736d5099