mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-04-19 21:11:57 -04:00
Fix header check
This commit is contained in:
parent
0e7af2395e
commit
036bccc5e0