Arduino IDE ボードマネージャーに外部のボードマネージャを追加する方法

・目的 ・使用したもの ・方法 (1)ボードマネージャーのURLを貼り付ける (2)追加のボードマネージャーのURL (3)ボードマネージャーのインストール Arduino以外のボードマネージャーを インストールする時詰まったので、 記録しておく ・目的 外部からボードマネージャーを インストールすること。 ・使用したもの…