diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2021-08-31 19:50:50 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2021-08-31 19:50:50 +0200 |
| commit | 1a49d67490e3c1b9cb640d459890f4c880a52096 (patch) | |
| tree | b8ccee97b005fb8670ce01d847bb5bf67de730cb /examples/preempt.rs | |
| parent | 3ef650832abef24f76c402ede64d1248cf0d0772 (diff) | |
validate unused dispatchers
closes #521
Diffstat (limited to 'examples/preempt.rs')
0 files changed, 0 insertions, 0 deletions