1 check-in using file pluginconf/__init__.py version 1b5dd2ab14

2022-11-12
15:25
introduce plugin_icon() for gui window check-in: 64c2c60322 user: mario tags: trunk