1 check-in using file pluginconf/gui.py version ab40f3573a

2023-10-26
21:45
precautionarily rewrap PluginMeta (for e.g. manually constructed plugins={} list) check-in: 8082a94a20 user: mario tags: trunk