diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-04-12 20:14:12 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-04-13 17:27:20 +0200 |
| commit | 0d3758ad6bd290689c99eab029ef652176b538d7 (patch) | |
| tree | 9a88d43cf5d781591c25bb8a4fafd1ac920d7b4c /examples | |
| parent | 2217de24c02e9f7e0aafeb8315ab6be8b644c52f (diff) | |
net: make run() noreturn.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions