Style: Make freertos.org = FreeRTOS.org and add https (#134)

* Style: make freertos.org = FreeRTOS.org also add https

* Style: Fix freertos into FreeRTOS

* Style: Fix freertos into FreeRTOS

Co-authored-by: Alfred Gedeon <gedeonag@amazon.com>
This commit is contained in:
alfred gedeon 2020-08-21 11:30:39 -07:00 committed by GitHub
parent 7cd4a4f276
commit a038146915
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
52 changed files with 147 additions and 147 deletions

View file

@ -2,4 +2,4 @@
Prop3=19,11
[InternetShortcut]
IDList=
URL=https://freertos.org/Using-FreeRTOS-on-RISC-V.html
URL=https://www.FreeRTOS.org/Using-FreeRTOS-on-RISC-V.html