rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-15 12:29:26 +01:00
Code Issues Releases Activity

Removed debugging leftovers

Browse Source
This commit is contained in:
Cristian Maglie 2018-01-03 14:35:14 +01:00
parent cd9a15ebd1
commit 676f64325f
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
arduino-core/src/cc/arduino/contributions/packages/ContributionInstaller.java
View File

@ -235,7 +235,6 @@ public class ContributionInstaller {
} }
public synchronized List<String> remove(ContributedPlatform contributedPlatform) { public synchronized List<String> remove(ContributedPlatform contributedPlatform) {
BaseNoGui.indexer.getPackages().stream().flatMap(p -> p.getPlatforms().stream()).filter(new InstalledPredicate()).collect(Collectors.toList());
if (contributedPlatform == null || contributedPlatform.isReadOnly()) { if (contributedPlatform == null || contributedPlatform.isReadOnly()) {
return new LinkedList<>(); return new LinkedList<>();
} }