From 7abee0b545577025434acc555cd9bf9b18318973 Mon Sep 17 00:00:00 2001
From: Kristian Sloth Lauszus <lauszus@gmail.com>
Date: Sun, 6 Oct 2013 15:46:15 +0200
Subject: [PATCH] Include pins_arduino.h manually if the old Arduino IDE is
 used

---
 settings.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/settings.h b/settings.h
index d22361a0..29904b13 100644
--- a/settings.h
+++ b/settings.h
@@ -61,6 +61,7 @@
 #else
 #include <WProgram.h>
 // I am not sure what WProgram.h does not include, so these are here. --xxxajk
+#include <pins_arduino.h>
 #include <avr/pgmspace.h>
 #include <avr/io.h>
 #endif