diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-20 16:28:36 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-20 16:28:36 +0000 |
| commit | a0fdc0e6dd56616bb7519969e47518321b7a2685 (patch) | |
| tree | d7e4cdb921e37e48bc1afa537d958ee8bc90dbcb /examples/27-effect-handler-nested/src | |
| parent | 9c22159b16d5346721f29f818e3d756c0ecd4647 (diff) | |
Read jmp_buf size instead of hard-coding
Diffstat (limited to 'examples/27-effect-handler-nested/src')
0 files changed, 0 insertions, 0 deletions