Arduino-IDE-1.5-3rd-party-Hardware-specification.md

@@ -231,6 +231,11 @@ recipe.hooks.sketch.prebuild.02.pattern=echo 2
 recipe.hooks.sketch.prebuild.11.pattern=echo 11
 ```
 
+# platform.local.txt
+
+Introduced in Arduino IDE 1.5.7. This file can be used to override properties defined in platform.txt or define new properties without modifying platform.txt.
+
+
 # boards.txt
 
 This file contains definitions and meta-data for the boards supported. Every board must be referred through its short name, the board ID. The settings for a board are defined through a set of properties
@@ -512,6 +517,12 @@ In the same way we can use variants and tools defined on another platform:
 
 Using this syntax allows us to reduce the minimum set of files needed to define a new "hardware" to just the boards.txt file.
 
+
+# boards.local.txt
+
+Introduced in Arduino IDE 1.6.6. This file can be used to override properties defined in boards.txt or define new properties without modifying boards.txt.
+
+
 # keywords.txt
 
 As of Arduino IDE 1.6.6 per-platform keywords can be defined by adding a keywords.txt file to the platform's architecture folder. These keywords are only highlighted when one of the boards of that platform are selected. This file follows the same conventions as the keywords.txt used in libraries. Each keyword must be separated from the keyword identifier by a tab.