tree 80073d1bf01a8d07b9fc00894b8ae99979a9e27f
parent f002bfb5b49bda64e6dbfc06f70d54e39b66f8bf
author Ewout van Bekkum <ewout@google.com> 1611701318 -0800
committer CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com> 1611705393 +0000

third_party/freertos: remove non-common header

The initial pw_source_set for FreeRTOS was set up to ensure that
FreeRTOSConfig_template.h couldn't be accidentally used. It turns
out this file is not distributed by FreeRTOS. This change removes
it accordingly.

Change-Id: I91e85611e21544035a6705069dbd823df6095637
Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/30860
Commit-Queue: Ewout van Bekkum <ewout@google.com>
Reviewed-by: Alexei Frolov <frolv@google.com>