diff options
| author | Dario Nieuwenhuis <[email protected]> | 2020-12-29 00:04:58 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2020-12-29 00:04:58 +0100 |
| commit | b01a88a839c2ac1eec68442f6cddf0c0a887cfa7 (patch) | |
| tree | 07a4b54cd0529f03bbd6bd09ef9ddac10657c4af /examples/src/example_common.rs | |
| parent | 267ec334ac766097efb4c847c14b6e2fde44f9af (diff) | |
Do not run timer queue if no alarm is set.
Diffstat (limited to 'examples/src/example_common.rs')
0 files changed, 0 insertions, 0 deletions