diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-08-24 01:52:15 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-08-24 01:52:15 +0200 |
| commit | 02562ed87d4c5cd8fb3f5f41643607ea422a47ac (patch) | |
| tree | 5126eba37cc0de689d144f8fd0c37ca855269763 /embassy-sync/src/waitqueue/mod.rs | |
| parent | 9947e27ee172302bde54bdeeb291328aa93f6fa0 (diff) | |
nrf/ppi: feature-gate dppi stuff.
Diffstat (limited to 'embassy-sync/src/waitqueue/mod.rs')
0 files changed, 0 insertions, 0 deletions