From 387e6b63c7ffb77c0c680c66fd54cca302f2c0a7 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Mon, 2 Jan 2012 19:11:57 +0100
Subject: [PATCH] Renamed platforms.txt to platform.txt

---
 app/src/processing/app/debug/TargetPlatform.java     | 2 +-
 hardware/arduino/avr/{platforms.txt => platform.txt} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename hardware/arduino/avr/{platforms.txt => platform.txt} (100%)

diff --git a/app/src/processing/app/debug/TargetPlatform.java b/app/src/processing/app/debug/TargetPlatform.java
index a5995de17..39ccb93f9 100644
--- a/app/src/processing/app/debug/TargetPlatform.java
+++ b/app/src/processing/app/debug/TargetPlatform.java
@@ -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) {
diff --git a/hardware/arduino/avr/platforms.txt b/hardware/arduino/avr/platform.txt
similarity index 100%
rename from hardware/arduino/avr/platforms.txt
rename to hardware/arduino/avr/platform.txt