mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-13 13:01:55 +03:00
Fix tool name to point to proper JSON entry (#6513)
This commit is contained in:
committed by
david gauchard
parent
9629874038
commit
990ec759f2
@ -138,7 +138,7 @@
|
|||||||
"tools": [
|
"tools": [
|
||||||
{
|
{
|
||||||
"version": "3.7.2-post1",
|
"version": "3.7.2-post1",
|
||||||
"name": "python",
|
"name": "python3",
|
||||||
"systems": [
|
"systems": [
|
||||||
{
|
{
|
||||||
"host": "x86_64-mingw32",
|
"host": "x86_64-mingw32",
|
||||||
|
Reference in New Issue
Block a user