From 0e7aaafb65975f91feb9921e6725b1cd817b361d Mon Sep 17 00:00:00 2001 From: Joshua Granick Date: Sat, 11 Feb 2017 15:00:50 -0800 Subject: [PATCH] Merge Raspberry Pi config changes from @gepatto --- project/Build.xml | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/project/Build.xml b/project/Build.xml index b70257555..5d8586934 100644 --- a/project/Build.xml +++ b/project/Build.xml @@ -179,6 +179,15 @@ + +
+ + + + + + +
@@ -362,7 +371,7 @@
- + @@ -375,11 +384,12 @@
- + +