diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-11-24 19:05:31 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-11-24 23:52:09 +0100 |
| commit | 259cf6192b920dff4cce0486488d929bf4e05b96 (patch) | |
| tree | 3e587f4d409408ef954fdfce79f11258581bf75f /rust-toolchain.toml | |
| parent | e8ff5a2baf217ac7e52f119c0d17a9826ad60067 (diff) | |
executor: Remove non-functional rtos-trace-interrupt.
Diffstat (limited to 'rust-toolchain.toml')
0 files changed, 0 insertions, 0 deletions