comparison sat/plugins/plugin_dbg_manhole.py @ 3105:eec0c25c796b

core (memory/params): new "makeOptions" method to easily create options XML from a dict
author Goffi <goffi@goffi.org>
date Fri, 03 Jan 2020 13:20:45 +0100
parents 9211c0d8b50c
children 2b0f739f8a46
comparison
equal deleted inserted replaced
3104:118d91c932a7 3105:eec0c25c796b