Add "installed" filter in boards manager#2812

giacomocusinato merged 1 commit intoarduino:mainarduino/arduino-ide:mainfrom

aknshr:#2638aknshr/arduino-ide:#2638Copy head branch name to clipboard