diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-07-05 11:30:06 +0200 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-07-05 11:30:06 +0200 |
| commit | 0dd9081215dabec904170eb0bec652777c6bb690 (patch) | |
| tree | 6cf1667c18bbd0b87725daffc6a5d140fcf30a63 /docs/src/gettingstarted/debugging | |
| parent | 8ac62e74679efba92154834d2ebbd259d71edbe0 (diff) | |
FSM: Set default mermaid graph generation scale to 4
Diffstat (limited to 'docs/src/gettingstarted/debugging')
0 files changed, 0 insertions, 0 deletions