1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00

Merge remote branch 'ricklon/platforms' into platforms

This commit is contained in:
David A. Mellis 2011-07-17 11:45:40 -04:00
commit fcbbf8f4b4

View File

@ -82,7 +82,7 @@ public class Target {
} catch (Exception e) {
System.err.println("Error loading platforms from " +
platformsFile + ": " + e);
System.exit(0);
//System.exit(0);
}