diff options
| author | JuliDi <[email protected]> | 2023-12-04 21:20:18 +0100 |
|---|---|---|
| committer | JuliDi <[email protected]> | 2023-12-04 21:20:18 +0100 |
| commit | bf7115cb4425959acd01d3e9a1d640a47948b2f9 (patch) | |
| tree | 5bdc484383129bca9e3026057cba7f029c06153e /embassy-executor/src/raw/timer_queue.rs | |
| parent | 0b0ca62a95cd2dabbc7e160dc5d0fcfc1a7a76e8 (diff) | |
remove unnecessary backtick
Diffstat (limited to 'embassy-executor/src/raw/timer_queue.rs')
0 files changed, 0 insertions, 0 deletions