1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-16 11:21:18 +03:00

Ported UX of library manager to core manager

This commit is contained in:
Federico Fissore
2015-03-17 17:47:07 +01:00
parent 17d3729426
commit b32dc93506
9 changed files with 237 additions and 140 deletions

View File

@ -0,0 +1,15 @@
package cc.arduino.contributions.packages;
import cc.arduino.contributions.VersionComparator;
import java.util.Comparator;
public class ContributedPlatformComparator implements Comparator<ContributedPlatform> {
@Override
public int compare(ContributedPlatform lib1, ContributedPlatform lib2) {
return VersionComparator.VERSION_COMPARATOR.compare(lib1.getVersion(), lib2.getVersion());
}
}