Library configuration file management (issue #1734)#1808

GDV0 wants to merge 1 commit intoarduino:ide-1.5.xarduino/Arduino:ide-1.5.xfrom

GDV0:ide-1.5.xGDV0/Arduino:ide-1.5.xCopy head branch name to clipboard