Arduino IDE上で追加ボードマネージャのURLにドキュメント指定のものを入れる

Arduino IDE上で追加ボードマネージャのURLにドキュメント指定のものを入れる