embedded/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-08-02 03:03:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
d2fcf20caf70e8a67d16fbdfa0355c496c8e0e48
FreeRTOS/.github/scripts/check-header.py
David Chalco 1db51e9996 Header Checker: Misc Enhancements (#437) 
* +regex ignores, tentative complete lists for configs

* Use header checks from user repo
2020-12-02 09:52:19 -08:00

12 KiB
Executable File
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink