specifically the following files in /docs/source:
contacts.rst
howto.rst
index.rst
installation.rst
quick-guide.rst
scxml-jani-conversion.rst (this one will probably be removed)
as well as used graphics elements (ie. drawio svg diagrams), any relevant css and project logo png
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.