Use SVG for graphviz as github is supporting that now.

hzeller · Jun 11, 2023 · db81901 · db81901
1 parent a0bddaf
commit db81901
Show file tree

Hide file tree

Showing 2 changed files with 378 additions and 0 deletions.
diff --git a/img/machine-control.svg b/img/machine-control.svg