then reinstall the boards package. install a different version in Boards Manager. then you can install back the 3.01
(reinstalling the IDE doesn't touch the boards packages)
then reinstall the boards package. install a different version in Boards Manager. then you can install back the 3.01
(reinstalling the IDE doesn't touch the boards packages)