diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-04-14 15:30:49 +0200 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-04-14 15:30:49 +0200 |
| commit | 2fdfa26388f4e738d1a4f89a29fbe93dfdbce41a (patch) | |
| tree | f254bd12c372bcad61704b2a6c36bf015114dd64 /docs/src/SUMMARY.md | |
| parent | 48bbbdc23c9db6653de59be7271535eb3c96dfe6 (diff) | |
FSM graph generation: Add generation using mermaid as default
Dot from graphviz kept re-ordering (e.g. flipping edges) which is annoying when showing the
graph live
Diffstat (limited to 'docs/src/SUMMARY.md')
0 files changed, 0 insertions, 0 deletions