1 check-in using file pluginconf/flit.py version 2a83c6ef38

2022-10-28
08:42
add graphics to docs check-in: e8bd4d1278 user: mario tags: trunk