diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-04-22 09:55:19 +0200 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2022-04-22 09:55:19 +0200 |
| commit | 08b5cab875f1a84162bb47773bbe72135135b90e (patch) | |
| tree | 1228363b956b10b240fe05b13c9d9bb2e79d9bb6 /exports | |
| parent | c7efec780a9e11e97690a19cf751533279788e79 (diff) | |
FSM: Make data for transitions optional
Diffstat (limited to 'exports')
0 files changed, 0 insertions, 0 deletions