mirror of
https://github.com/FreeRTOS/FreeRTOS.git
synced 2026-02-07 03:21:44 +08:00
* separating source file updation to separate script * give execute permission to update_src_version.py
* separating source file updation to separate script * give execute permission to update_src_version.py