Add "Manage libraries..." to the "Tools" menu too and add a shortcut for it. #6638

cmaglie merged 5 commits intomaster arduino/Arduino:masterfrom

unknown repositoryCopy head branch name to clipboard