diff options
| author | 2025-10-24 17:01:57 +0200 | |
|---|---|---|
| committer | 2025-10-24 17:01:57 +0200 | |
| commit | e732643b8640bfdc822e2e4bd994977279b2f58b (patch) | |
| tree | 13e9224c24cff9e84ccf547c79934f5022721fa8 /obj | |
| parent | 2a2b7d3eb49c919deab6988ca8ca22fb05c1eaa6 (diff) | |
c: also propagate terminates in genswitch
Diffstat (limited to 'obj')
0 files changed, 0 insertions, 0 deletions