From 3d2ab5639b12bd76665149e84184264549e9bba2 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Wed, 12 Dec 2012 10:23:04 +0100
Subject: [PATCH] ide 1.5.x settings moved to ".arduino15" folder

---
 app/src/processing/app/Platform.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/processing/app/Platform.java b/app/src/processing/app/Platform.java
index 6e74e147b..37ec1b3d6 100644
--- a/app/src/processing/app/Platform.java
+++ b/app/src/processing/app/Platform.java
@@ -76,7 +76,7 @@ public class Platform {
   public File getSettingsFolder() throws Exception {
     // otherwise make a .processing directory int the user's home dir
     File home = new File(System.getProperty("user.home"));
-    File dataFolder = new File(home, ".arduino");
+    File dataFolder = new File(home, ".arduino15");
     return dataFolder;
 
     /*