len0rd/FreeRTOS-Kernel
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS-Kernel.git synced 2025-10-17 10:17:45 -04:00
Code Issues Projects Releases Packages Wiki Activity

[AUTO][RELEASE]: Bump file header version to "202011.00"

Browse source
This commit is contained in:
David Chalco 2020-11-10 14:45:34 -08:00
parent d555cdd475
commit 07f3cbafee
1301 changed files with 1301 additions and 1301 deletions
Download patch file Download diff file Expand all files Collapse all files

2
FreeRTOS/Test/CBMC/patches/FreeRTOSIPConfig.h
View file

@ -1,5 +1,5 @@
/*
FreeRTOS Kernel V10.4.1
FreeRTOS V202011.00
Copyright (C) 2017 Amazon.com, Inc. or its affiliates. All Rights Reserved.
Permission is hereby granted, free of charge, to any person obtaining a copy of