diff options
| author | Tharo <17233964+Thar0@users.noreply.github.com> | 2023-09-09 15:24:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-09 10:24:52 -0400 |
| commit | 7235af2249843fb68740111b70089bad827a4730 (patch) | |
| tree | b5bb0ea1ba5e6c0b817fe218f350e4e60fbf833b /docs/tutorial/helper_scripts.md | |
| parent | bedf07d5412f52cc05165b2d081578924cdd489d (diff) | |
Apply noreturn attribute where applicable (#1532)
Diffstat (limited to 'docs/tutorial/helper_scripts.md')
0 files changed, 0 insertions, 0 deletions