diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-12-22 20:07:17 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-12-22 20:07:17 +0000 |
| commit | bb8ad9148a2fbbe56b3dc2293cd852a444a14203 (patch) | |
| tree | 129bff555ec2fee297a932243de03151ec38712c /embassy-time-queue-utils/build.rs | |
| parent | 8b3cbf80a4d69bc61b300b0e8da9030d2a56f40b (diff) | |
| parent | ab8ca3f126447edb3a9eb06aa6fd6cd394219c17 (diff) | |
Merge pull request #3664 from bugadani/executor
Rename ETQD and prepare new embassy-time-*driver, embassy-executor, embassy-time
Diffstat (limited to 'embassy-time-queue-utils/build.rs')
| -rw-r--r-- | embassy-time-queue-utils/build.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embassy-time-queue-utils/build.rs b/embassy-time-queue-utils/build.rs new file mode 100644 index 000000000..f328e4d9d --- /dev/null +++ b/embassy-time-queue-utils/build.rs | |||
| @@ -0,0 +1 @@ | |||
| fn main() {} | |||