diff options
| author | uvok | 2026-01-10 20:05:26 +0100 |
|---|---|---|
| committer | uvok | 2026-01-10 20:05:26 +0100 |
| commit | 34ac7a712f62d67372c2d293c3dfc27c476f90a4 (patch) | |
| tree | e9712db1645d1360888a798c65940543aed06ace /playground/Makefile | |
| parent | d09fe328d08f5003ee7368172f0a24b4c15db277 (diff) | |
dias: Only return halt for simplified
Diffstat (limited to 'playground/Makefile')
0 files changed, 0 insertions, 0 deletions