1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-02 13:24:12 +01:00

Removed unused method BaseNoGui.getUserLibs()

This commit is contained in:
Cristian Maglie 2017-12-28 00:25:52 +01:00
parent 904a898108
commit d5d9b217a1

View File

@ -423,11 +423,6 @@ public class BaseNoGui {
return toolsFolder.getAbsolutePath();
}
static public LibraryList getUserLibs() {
LibraryList libs = BaseNoGui.librariesIndexer.getInstalledLibraries();
return libs.filterLibrariesInSubfolder(getSketchbookFolder());
}
static public String getBoardManagerLink() {
return boardManagerLink;
}