diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-06-27 23:49:12 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-06-27 23:49:12 +0200 |
| commit | f5ca687e9bbeb81ce24f56db6cd7defbcb5c2db2 (patch) | |
| tree | 3fbdd8c0fde94fd8bb77647c91e4079842c357a4 /examples/boot | |
| parent | 219ef5b37a1dff5f6e770da252ec010d55c43257 (diff) | |
sync/pipe: fix doc typos.
Diffstat (limited to 'examples/boot')
0 files changed, 0 insertions, 0 deletions