Pull requests: arduino/Arduino
Pull requests list
Added Boards Manager or Library Manager
feature request
A request to make an enhancement (not a bug fix)
librariesDependencies in package_index.json
Component: Board/Lib Manager
#7642
opened May 28, 2018 by
cmaglie
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.