官方Arduino IDE如何添加Microduino开发板资料

oja911

官方Arduino IDE如何添加Microduino开发板资料
求Microduino的Boards Manager URLs，官方Arduino IDE 1.8.13需要添加microduino的board manager URls，不知道是不是：URL:https* //github.com/wasdpkj/Microduino-IDE-Support/raw/master/package_Microduino_index*json。
在"Arduino IDE 1.8.13>File>Preferences>Additional Boards Manager URLs"添加该urls后，再打开Boards Manager，似乎加载不成功，找不到Microduino的相关资料。

dfdf777