1 --- wiringPi-72b2af231be337d45a557ce6ca3ed1eeb6675ffd.orig/gpio/gpio.c 2015-02-11 09:58:24.000000000 +0100
2 +++ wiringPi-72b2af231be337d45a557ce6ca3ed1eeb6675ffd/gpio/gpio.c 2015-02-11 10:17:12.656738740 +0100
5 #include <wpiExtensions.h>
7 -#include <gertboard.h>
9 +//#include <gertboard.h>
10 +//#include <piFace.h>