1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-13 10:29:35 +01:00

Use Library.RealName for installed libraries

This commit is contained in:
Cristian Maglie 2019-12-07 17:14:08 +01:00
parent 3ba507ab43
commit 5295e106db

View File

@ -183,7 +183,7 @@ public class LibrariesIndexer {
UserLibrary lib = new UserLibrary( //
new File(l.getInstallDir()), //
l.getName(), //
l.getRealName(), //
l.getVersion(), //
l.getAuthor(), //
l.getMaintainer(), //