/lively4-petrinet/doc/tools/media

• changes-graph.png
• container-edit.png
• container.png
• drawboard.png
• inspector.png
• search.png
• sync.png
• test-runner.png
• tools.drawio
• workspace.png
• xray.png