mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Renamed platforms.txt to platform.txt
This commit is contained in:
parent
812265f1c0
commit
387e6b63c7
@ -56,7 +56,7 @@ public class TargetPlatform {
|
||||
}
|
||||
|
||||
try {
|
||||
File platformsFile = new File(_folder, "platforms.txt");
|
||||
File platformsFile = new File(_folder, "platform.txt");
|
||||
if (platformsFile.exists())
|
||||
preferences.load(platformsFile);
|
||||
} catch (Exception e) {
|
||||
|
Loading…
x
Reference in New Issue
Block a user