mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2026-02-05 16:49:02 +01:00
Remove directory that is not required.
This commit is contained in:
parent
d6aba020b0
commit
3104a7cf38