From 9c741885e03f0585c98d93b2cabd9d322530259e Mon Sep 17 00:00:00 2001
From: Sandeep Mistry <s.mistry@arduino.cc>
Date: Wed, 13 Apr 2016 08:58:35 -0400
Subject: [PATCH] Revert "Do not save build_properties_custom.* preferences to
 disk"

This reverts commit f47165db644e432a9b7456102c6ad0f34fbf7b11.
---
 arduino-core/src/processing/app/PreferencesData.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/arduino-core/src/processing/app/PreferencesData.java b/arduino-core/src/processing/app/PreferencesData.java
index 0517d96ce..6757e7e6e 100644
--- a/arduino-core/src/processing/app/PreferencesData.java
+++ b/arduino-core/src/processing/app/PreferencesData.java
@@ -120,7 +120,7 @@ public class PreferencesData {
       String[] keys = prefs.keySet().toArray(new String[0]);
       Arrays.sort(keys);
       for (String key : keys) {
-        if (key.startsWith("runtime.") || key.startsWith("build_properties_custom."))
+        if (key.startsWith("runtime."))
           continue;
         writer.println(key + "=" + prefs.get(key));
       }