2 check-ins using file pluginconf/gui.py version faa74dfb1b

2022-10-28
21:59
update docs check-in: 33c3bc16bb user: mario tags: trunk
08:42
add graphics to docs check-in: e8bd4d1278 user: mario tags: trunk