mirror of
https://github.com/esp8266/Arduino.git
synced 2025-08-11 09:43:08 +03:00
GUI for platform installer, first draft
This commit is contained in:
committed by
Federico Fissore
parent
100dd21bd0
commit
373a625903
@@ -197,4 +197,16 @@ public class ContributionsIndexer {
|
||||
}
|
||||
return res;
|
||||
}
|
||||
|
||||
public ContributionsIndex getIndex() {
|
||||
return index;
|
||||
}
|
||||
|
||||
public void install(ContributedPlatform platform) {
|
||||
// TODO Auto-generated method stub
|
||||
}
|
||||
|
||||
public void remove(ContributedPlatform platform) {
|
||||
// TODO Auto-generated method stub
|
||||
}
|
||||
}
|
||||
|
Reference in New Issue
Block a user