adeck/platform-raspberrypi
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Generalize used toolchain version

Browse Source 
No more strict pinning
This commit is contained in:
Maximilian Gerhardt 2023-02-19 13:10:35 +01:00 committed by GitHub
parent 11247e9e40
commit b9928a2d11
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
platform.json
View File

@ -35,7 +35,7 @@
"type": "toolchain",
"optional": true,
"owner": "earlephilhower",
"version": "5.100300.221223"
"version": "~5.100300.0"
},
"framework-arduino-mbed": {
"type": "framework",